File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -55,9 +55,8 @@ set alus [list \
5555 " ALU_16_BRENT_KUNG" \
5656 " ALU_16_KOGGE_STONE" \
5757 " ALU_16_SKLANSKY" \
58- " ALU_16_HAN_CARLSON" \
59- ]
58+ " ALU_16_HAN_CARLSON" ]
6059
61- for {set i 0} {$i < [llength $alus ] - 1} {incr i} {
62- do_swap [lindex $alus $i ] [lindex $alus [expr {$i + 1}]]
60+ for { set i 0 } { $i < [llength $alus ] - 1 } { incr i } {
61+ do_swap [lindex $alus $i ] [lindex $alus [expr { $i + 1 }]]
6362}
Original file line number Diff line number Diff line change @@ -98,10 +98,8 @@ proc run_equivalence_test { test lib remove_cells } {
9898 catch { exec eqy -d $run_dir $test_script > /dev/null }
9999 set count 0
100100 catch {
101- set count [ \
102- exec grep -c " Successfully proved designs equivalent" \
103- $run_dir /logfile.txt \
104- ]
101+ set count [exec grep -c " Successfully proved designs equivalent" \
102+ $run_dir /logfile.txt]
105103 }
106104 if { $count == 0 } {
107105 puts " Repair timing output failed equivalence test"
You can’t perform that action at this time.
0 commit comments