Description
Generator of arithmetic circuits (multipliers, adders) and approximate circuits
74 MiB
Languages
C 59.1%
Verilog 38.4%
Coq 2.2%
Python 0.3%