/wallace-tree

verilog code of wallace tree (includes half/full adder, carry-save adder, carry-propagate adder)

Primary LanguageCoq

Usage

  1. install iverilog (icarus verilog, the verilog compile tool)
  2. bash$ make run

  1. structure of wallace tree
    structure of Wallace Tree
  2. a part of wallace tree
    a part of Wallace Tree