techmap: set Han-Carlson adder priority consistent with Kogge-Stone

widlarizer · widlarizer · commit 4bf3677640ea · 2024-11-28T23:54:00.000+01:00
diff --git a/techlibs/common/choices/han-carlson.v b/techlibs/common/choices/han-carlson.v
@@ -1,5 +1,5 @@
 (* techmap_celltype = "$lcu" *)
-module _85_lcu_han_carlson (P, G, CI, CO);
+module _80_lcu_han_carlson (P, G, CI, CO);
 	parameter WIDTH = 2;
 
 	(* force_downto *)
diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl
@@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} {
     design -load init
     chparam -set WIDTH $i
     yosys proc
-    equiv_make -blacklist ppa.nomatch lcu _85_lcu_han_carlson equiv
+    equiv_make -blacklist ppa.nomatch lcu _80_lcu_han_carlson equiv
     equiv_simple equiv
     equiv_status -assert equiv
 }

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} {`
`8`	`8`	`design -load init`
`9`	`9`	`chparam -set WIDTH $i`
`10`	`10`	`yosys proc`
`11`		`- equiv_make -blacklist ppa.nomatch lcu _85_lcu_han_carlson equiv`
	`11`	`+ equiv_make -blacklist ppa.nomatch lcu _80_lcu_han_carlson equiv`
`12`	`12`	`equiv_simple equiv`
`13`	`13`	`equiv_status -assert equiv`
`14`	`14`	`}`