terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/lib/Tools/circt-bmc
History
Bea Healy 329f19248a
[circt-bmc] Add LowerToBMC Pass (#7343) 
Adds a pass to lower hw.modules to a bounded model checking problem
---------

Co-authored-by: Martin Erhart <maerhart@outlook.com>
 		2024-07-24 11:01:12 +01:00
..
CMakeLists.txt [circt-bmc] Add LowerToBMC Pass (#7343) 2024-07-24 11:01:12 +01:00
ExternalizeRegisters.cpp [circt-bmc] Add ExternalizeRegisters Pass (#7285) 2024-07-16 19:34:12 +01:00
LowerToBMC.cpp [circt-bmc] Add LowerToBMC Pass (#7343) 2024-07-24 11:01:12 +01:00