- install iverilog (icarus verilog, the verilog compile tool)
- bash$ make run
hyonzin/wallace-tree
verilog code of wallace tree (includes half/full adder, carry-save adder, carry-propagate adder)
Coq
verilog code of wallace tree (includes half/full adder, carry-save adder, carry-propagate adder)
Coq