Description
Generator of arithmetic circuits (multipliers, adders) and approximate circuits. Fork using MIG as bottom level.
Readme 74 MiB
Languages
C 59.1%
Verilog 38.4%
Coq 2.2%
Python 0.3%