From 4bf3677640eac18b5afd2df63f11c56659194a9c Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Thu, 28 Nov 2024 23:54:00 +0100 Subject: [PATCH] techmap: set Han-Carlson adder priority consistent with Kogge-Stone --- techlibs/common/choices/han-carlson.v | 2 +- tests/techmap/han-carlson.tcl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/techlibs/common/choices/han-carlson.v b/techlibs/common/choices/han-carlson.v index 4c93c6f7e..2ddcf75e9 100644 --- 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 index 0b5460be8..56a671ae6 100644 --- 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 }