terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/tools/circt-synth
History
Hideto Ueno c301a0f15c
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742) 
This adds a conversion pass from AIG dialect to Comb dialect. AndInverterOp can be easily converted into comb.and + comb.xor + hw.constant.

This enables us to utilize core dialects tools for synthesis results without any addition. Primarly use case is running LEC on IR before and after synthesis.
 		2024-10-29 14:15:41 +09:00
..
CMakeLists.txt [AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742) 2024-10-29 14:15:41 +09:00
circt-synth.cpp [AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742) 2024-10-29 14:15:41 +09:00