tree: 993bf0828c9dee30c249edf6847bf32cf8596794 [path history] [tgz]
  1. logic_equiv_check.tcl
  2. rewrite_verilog.tcl
  3. synth.tcl
  4. synth_top.tcl