Chicala stainless try This repository is attempting to use stainless to verify Chisel modules described in Scala. src\main\scala\cases contains Chisel modules described in Scala. src\main\scala\chicala contains Chisel library described in Scala.