From fd98cd054d15cf6489c53792b7ab3228048452d4 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Tue, 10 Feb 2026 22:32:14 +0100 Subject: [PATCH 1/5] enable lec check Signed-off-by: Noam Cohen --- flow/designs/asap7/aes/config.mk | 1 - flow/designs/asap7/uart/config.mk | 1 - flow/designs/sky130hd/gcd/config.mk | 1 - flow/designs/sky130hs/gcd/config.mk | 1 - flow/scripts/cts.tcl | 4 ++-- 5 files changed, 2 insertions(+), 6 deletions(-) diff --git a/flow/designs/asap7/aes/config.mk b/flow/designs/asap7/aes/config.mk index 88620e4d11..9dc285d86c 100644 --- a/flow/designs/asap7/aes/config.mk +++ b/flow/designs/asap7/aes/config.mk @@ -30,4 +30,3 @@ else ifeq ($(FLOW_VARIANT),combine) $(WORK_HOME)/results/$(PLATFORM)/$(DESIGN_NICKNAME)/blackbox/1_synth.v endif -export LEC_CHECK = 1 diff --git a/flow/designs/asap7/uart/config.mk b/flow/designs/asap7/uart/config.mk index d1ebf060f0..4ff340d770 100644 --- a/flow/designs/asap7/uart/config.mk +++ b/flow/designs/asap7/uart/config.mk @@ -18,4 +18,3 @@ export REMOVE_CELLS_FOR_EQY = TAPCELL* export SKIP_GATE_CLONING = 1 export VERILOG_TOP_PARAMS = DATA_WIDTH 8 export SYNTH_HDL_FRONTEND = slang -export LEC_CHECK = 1 diff --git a/flow/designs/sky130hd/gcd/config.mk b/flow/designs/sky130hd/gcd/config.mk index 8db2fd2dcb..9b725dcf0b 100644 --- a/flow/designs/sky130hd/gcd/config.mk +++ b/flow/designs/sky130hd/gcd/config.mk @@ -11,4 +11,3 @@ export CORE_UTILIZATION = 40 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = sky130_fd_sc_hd__tapvpwrvgnd* -export LEC_CHECK = 1 diff --git a/flow/designs/sky130hs/gcd/config.mk b/flow/designs/sky130hs/gcd/config.mk index 5545320fbc..883d1e1ffb 100644 --- a/flow/designs/sky130hs/gcd/config.mk +++ b/flow/designs/sky130hs/gcd/config.mk @@ -13,7 +13,6 @@ export PLACE_DENSITY_LB_ADDON = 0.1 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = sky130_fd_sc_hs__tapvpwrvgnd* -export LEC_CHECK = 1 #export SYNTH_HDL_FRONTEND ?= slang #export OPENROAD_HIERARCHICAL ?= 1 diff --git a/flow/scripts/cts.tcl b/flow/scripts/cts.tcl index ea251200ae..833b95c260 100644 --- a/flow/scripts/cts.tcl +++ b/flow/scripts/cts.tcl @@ -61,7 +61,7 @@ if { !$::env(SKIP_CTS_REPAIR_TIMING) } { if { $::env(EQUIVALENCE_CHECK) } { write_eqy_verilog 4_before_rsz.v } - if { [env_var_exists_and_non_empty LEC_CHECK] } { + if { ![env_var_exists_and_non_empty DISABLE_LEC_CHECK] } { write_lec_verilog 4_before_rsz_lec.v } @@ -70,7 +70,7 @@ if { !$::env(SKIP_CTS_REPAIR_TIMING) } { if { $::env(EQUIVALENCE_CHECK) } { run_equivalence_test } - if { [env_var_exists_and_non_empty LEC_CHECK] } { + if { ![env_var_exists_and_non_empty DISABLE_LEC_CHECK] } { write_lec_verilog 4_after_rsz_lec.v run_lec_test 4_rsz 4_before_rsz_lec.v 4_after_rsz_lec.v } From 7b3868b36ee74a17741b9fd3f5f05844ad51e924 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Wed, 11 Feb 2026 10:44:14 +0100 Subject: [PATCH 2/5] add remove cells commands for lec check Signed-off-by: Noam Cohen --- flow/designs/asap7/aes-block/config.mk | 1 + flow/designs/asap7/aes-mbff/config.mk | 2 ++ flow/designs/asap7/aes/config.mk | 1 + flow/designs/asap7/cva6/config.mk | 2 ++ flow/designs/asap7/ethmac/config.mk | 2 ++ flow/designs/asap7/ethmac_lvt/config.mk | 2 ++ flow/designs/asap7/gcd-ccs/config.mk | 2 ++ flow/designs/asap7/gcd/config.mk | 2 ++ flow/designs/asap7/jpeg_lvt/config.mk | 2 +- flow/designs/asap7/mock-cpu/config.mk | 2 ++ flow/designs/asap7/riscv32i-mock-sram/config.mk | 2 ++ flow/designs/asap7/riscv32i/config.mk | 2 ++ flow/designs/asap7/uart/config.mk | 1 + flow/designs/sky130hd/aes/config.mk | 2 ++ flow/designs/sky130hd/gcd/config.mk | 1 + flow/designs/sky130hd/jpeg/config.mk | 2 ++ flow/designs/sky130hs/aes/config.mk | 2 ++ flow/designs/sky130hs/gcd/config.mk | 1 + flow/designs/sky130hs/ibex/config.mk | 2 ++ flow/designs/sky130hs/jpeg/config.mk | 2 ++ flow/designs/sky130hs/riscv32i/config.mk | 2 ++ flow/scripts/lec_check.tcl | 4 ++-- 22 files changed, 38 insertions(+), 3 deletions(-) diff --git a/flow/designs/asap7/aes-block/config.mk b/flow/designs/asap7/aes-block/config.mk index 60a0c336b1..3fc0252c85 100644 --- a/flow/designs/asap7/aes-block/config.mk +++ b/flow/designs/asap7/aes-block/config.mk @@ -30,3 +30,4 @@ export PWR_NETS_VOLTAGES = export MACRO_PLACE_HALO ?= 3 3 export ROUTING_LAYER_ADJUSTMENT = 0.3 +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/aes-mbff/config.mk b/flow/designs/asap7/aes-mbff/config.mk index ac7f0f1aa8..0296c4b7a1 100644 --- a/flow/designs/asap7/aes-mbff/config.mk +++ b/flow/designs/asap7/aes-mbff/config.mk @@ -16,3 +16,5 @@ export TNS_END_PERCENT = 100 export CLUSTER_FLOPS = 1 export ENABLE_DPO = 0 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/aes/config.mk b/flow/designs/asap7/aes/config.mk index 9dc285d86c..00001c3d91 100644 --- a/flow/designs/asap7/aes/config.mk +++ b/flow/designs/asap7/aes/config.mk @@ -15,6 +15,7 @@ export PLACE_DENSITY = 0.65 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = TAPCELL* +export REMOVE_CELLS_FOR_LEC = TAPCELL* ifeq ($(FLOW_VARIANT),top) export DESIGN_NAME = aes_cipher_top diff --git a/flow/designs/asap7/cva6/config.mk b/flow/designs/asap7/cva6/config.mk index 85b00dc9be..fba646b28a 100644 --- a/flow/designs/asap7/cva6/config.mk +++ b/flow/designs/asap7/cva6/config.mk @@ -108,3 +108,5 @@ export CTS_LIB_NAME = asap7sc7p5t_INVBUF_SLVT_FF_nldm_211120 # Remove rvfi_probes_o interface export SYNTH_CANONICALIZE_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NAME)/canonicalize.tcl + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/ethmac/config.mk b/flow/designs/asap7/ethmac/config.mk index c7770d7137..1eb829d003 100644 --- a/flow/designs/asap7/ethmac/config.mk +++ b/flow/designs/asap7/ethmac/config.mk @@ -10,3 +10,5 @@ export CORE_UTILIZATION = 70 export CORE_ASPECT_RATIO = 1 export CORE_MARGIN = 2 export PLACE_DENSITY = 0.75 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/ethmac_lvt/config.mk b/flow/designs/asap7/ethmac_lvt/config.mk index ff4d402a11..1658627020 100644 --- a/flow/designs/asap7/ethmac_lvt/config.mk +++ b/flow/designs/asap7/ethmac_lvt/config.mk @@ -15,3 +15,5 @@ export PLACE_DENSITY = 0.60 export ASAP7_USE_VT = LVT export RECOVER_POWER = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/gcd-ccs/config.mk b/flow/designs/asap7/gcd-ccs/config.mk index 352ef013c3..e09a46b965 100644 --- a/flow/designs/asap7/gcd-ccs/config.mk +++ b/flow/designs/asap7/gcd-ccs/config.mk @@ -1,3 +1,5 @@ export DESIGN_NICKNAME = gcd-ccs export LIB_MODEL = CCS include designs/asap7/gcd/config.mk + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/gcd/config.mk b/flow/designs/asap7/gcd/config.mk index cb572b7986..4cb9ff38e3 100644 --- a/flow/designs/asap7/gcd/config.mk +++ b/flow/designs/asap7/gcd/config.mk @@ -14,3 +14,5 @@ export PLACE_DENSITY = 0.35 # a smoketest for this option, there are a # few last gasp iterations export SKIP_LAST_GASP ?= 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/jpeg_lvt/config.mk b/flow/designs/asap7/jpeg_lvt/config.mk index 4b77c09e67..3041551ffa 100644 --- a/flow/designs/asap7/jpeg_lvt/config.mk +++ b/flow/designs/asap7/jpeg_lvt/config.mk @@ -18,4 +18,4 @@ export RECOVER_POWER = 100 export ASAP7_USE_VT = LVT - +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/designs/asap7/mock-cpu/config.mk b/flow/designs/asap7/mock-cpu/config.mk index 2eb0c35ac2..aba93fe797 100644 --- a/flow/designs/asap7/mock-cpu/config.mk +++ b/flow/designs/asap7/mock-cpu/config.mk @@ -13,3 +13,5 @@ export PLACE_DENSITY = 0.71 export TNS_END_PERCENT = 100 export IO_CONSTRAINTS = designs/asap7/mock-cpu/io.tcl + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/riscv32i-mock-sram/config.mk b/flow/designs/asap7/riscv32i-mock-sram/config.mk index bdaf09daee..7d4dac826b 100644 --- a/flow/designs/asap7/riscv32i-mock-sram/config.mk +++ b/flow/designs/asap7/riscv32i-mock-sram/config.mk @@ -2,3 +2,5 @@ export DESIGN_NICKNAME = riscv32i-mock-sram export BLOCKS=fakeram7_256x32 include designs/asap7/riscv32i/config.mk + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/riscv32i/config.mk b/flow/designs/asap7/riscv32i/config.mk index 90cc478220..7804311fd3 100644 --- a/flow/designs/asap7/riscv32i/config.mk +++ b/flow/designs/asap7/riscv32i/config.mk @@ -29,3 +29,5 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/asap7/uart/config.mk b/flow/designs/asap7/uart/config.mk index 4ff340d770..502053f383 100644 --- a/flow/designs/asap7/uart/config.mk +++ b/flow/designs/asap7/uart/config.mk @@ -15,6 +15,7 @@ export CORE_AREA = 1.08 1.08 16 16 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = TAPCELL* +export REMOVE_CELLS_FOR_LEC = TAPCELL* export SKIP_GATE_CLONING = 1 export VERILOG_TOP_PARAMS = DATA_WIDTH 8 export SYNTH_HDL_FRONTEND = slang diff --git a/flow/designs/sky130hd/aes/config.mk b/flow/designs/sky130hd/aes/config.mk index c82a295d40..6498884fce 100644 --- a/flow/designs/sky130hd/aes/config.mk +++ b/flow/designs/sky130hd/aes/config.mk @@ -23,3 +23,5 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/sky130hd/gcd/config.mk b/flow/designs/sky130hd/gcd/config.mk index 9b725dcf0b..fd36943b45 100644 --- a/flow/designs/sky130hd/gcd/config.mk +++ b/flow/designs/sky130hd/gcd/config.mk @@ -11,3 +11,4 @@ export CORE_UTILIZATION = 40 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = sky130_fd_sc_hd__tapvpwrvgnd* +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hd/jpeg/config.mk b/flow/designs/sky130hd/jpeg/config.mk index dced6f2bca..087b5532a6 100644 --- a/flow/designs/sky130hd/jpeg/config.mk +++ b/flow/designs/sky130hd/jpeg/config.mk @@ -13,3 +13,5 @@ export TNS_END_PERCENT = 100 export FASTROUTE_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NICKNAME)/fastroute.tcl export REMOVE_ABC_BUFFERS = 1 + +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hs/aes/config.mk b/flow/designs/sky130hs/aes/config.mk index 49bdcc926d..7e2fb9e353 100644 --- a/flow/designs/sky130hs/aes/config.mk +++ b/flow/designs/sky130hs/aes/config.mk @@ -19,3 +19,5 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/designs/sky130hs/gcd/config.mk b/flow/designs/sky130hs/gcd/config.mk index 883d1e1ffb..2ebac7b92c 100644 --- a/flow/designs/sky130hs/gcd/config.mk +++ b/flow/designs/sky130hs/gcd/config.mk @@ -13,6 +13,7 @@ export PLACE_DENSITY_LB_ADDON = 0.1 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_EQY = sky130_fd_sc_hs__tapvpwrvgnd* +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* #export SYNTH_HDL_FRONTEND ?= slang #export OPENROAD_HIERARCHICAL ?= 1 diff --git a/flow/designs/sky130hs/ibex/config.mk b/flow/designs/sky130hs/ibex/config.mk index bb2959edd3..5d88f6dc55 100644 --- a/flow/designs/sky130hs/ibex/config.mk +++ b/flow/designs/sky130hs/ibex/config.mk @@ -17,3 +17,5 @@ export PLACE_DENSITY_LB_ADDON = 0.2 export TNS_END_PERCENT = 100 export REMOVE_ABC_BUFFERS = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/sky130hs/jpeg/config.mk b/flow/designs/sky130hs/jpeg/config.mk index 867415edb2..d3eb753d7a 100644 --- a/flow/designs/sky130hs/jpeg/config.mk +++ b/flow/designs/sky130hs/jpeg/config.mk @@ -19,3 +19,5 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file diff --git a/flow/designs/sky130hs/riscv32i/config.mk b/flow/designs/sky130hs/riscv32i/config.mk index cfe34db7a9..9bb949127b 100644 --- a/flow/designs/sky130hs/riscv32i/config.mk +++ b/flow/designs/sky130hs/riscv32i/config.mk @@ -17,3 +17,5 @@ export REMOVE_ABC_BUFFERS = 1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/scripts/lec_check.tcl b/flow/scripts/lec_check.tcl index a3fdd4e014..9166092c21 100644 --- a/flow/scripts/lec_check.tcl +++ b/flow/scripts/lec_check.tcl @@ -1,6 +1,6 @@ proc write_lec_verilog { filename } { - if { [env_var_exists_and_non_empty REMOVE_CELLS_FOR_EQY] } { - write_verilog -remove_cells $::env(REMOVE_CELLS_FOR_EQY) $::env(RESULTS_DIR)/$filename + if { [env_var_exists_and_non_empty REMOVE_CELLS_FOR_LEC] } { + write_verilog -remove_cells $::env(REMOVE_CELLS_FOR_LEC) $::env(RESULTS_DIR)/$filename } else { write_verilog $::env(RESULTS_DIR)/$filename } From 3bff7a9dd556cbb452fb9a6d4746a976fb0c2eb5 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Wed, 11 Feb 2026 17:18:19 +0100 Subject: [PATCH 3/5] add remove cells commands for lec check Signed-off-by: Noam Cohen --- flow/designs/asap7/aes_lvt/config.mk | 3 +++ flow/designs/asap7/jpeg/config.mk | 2 +- flow/designs/sky130hd/aes/config.mk | 2 +- flow/designs/sky130hd/ibex/config.mk | 2 ++ flow/designs/sky130hd/jpeg/config.mk | 2 +- flow/designs/sky130hd/riscv32i/config.mk | 2 ++ flow/designs/sky130hs/aes/config.mk | 2 +- 7 files changed, 11 insertions(+), 4 deletions(-) diff --git a/flow/designs/asap7/aes_lvt/config.mk b/flow/designs/asap7/aes_lvt/config.mk index 43b961430c..4eb6954f1d 100644 --- a/flow/designs/asap7/aes_lvt/config.mk +++ b/flow/designs/asap7/aes_lvt/config.mk @@ -17,3 +17,6 @@ export TNS_END_PERCENT = 100 export ASAP7_USE_VT = LVT export RECOVER_POWER = 100 + +export REMOVE_CELLS_FOR_LEC = TAPCELL* + diff --git a/flow/designs/asap7/jpeg/config.mk b/flow/designs/asap7/jpeg/config.mk index 326d0ad7e0..f6ac8f524d 100644 --- a/flow/designs/asap7/jpeg/config.mk +++ b/flow/designs/asap7/jpeg/config.mk @@ -15,4 +15,4 @@ export PLACE_DENSITY = 0.75 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 -export REMOVE_CELLS_FOR_EQY = TAPCELL* +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/designs/sky130hd/aes/config.mk b/flow/designs/sky130hd/aes/config.mk index 6498884fce..c078641ff3 100644 --- a/flow/designs/sky130hd/aes/config.mk +++ b/flow/designs/sky130hd/aes/config.mk @@ -24,4 +24,4 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = TAP* \ No newline at end of file diff --git a/flow/designs/sky130hd/ibex/config.mk b/flow/designs/sky130hd/ibex/config.mk index e05fdfbbaf..2bb6e81df7 100644 --- a/flow/designs/sky130hd/ibex/config.mk +++ b/flow/designs/sky130hd/ibex/config.mk @@ -28,3 +28,5 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hd/jpeg/config.mk b/flow/designs/sky130hd/jpeg/config.mk index 087b5532a6..8fdeecb1eb 100644 --- a/flow/designs/sky130hd/jpeg/config.mk +++ b/flow/designs/sky130hd/jpeg/config.mk @@ -14,4 +14,4 @@ export FASTROUTE_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NICKNAME)/fastroute.t export REMOVE_ABC_BUFFERS = 1 -export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hd/riscv32i/config.mk b/flow/designs/sky130hd/riscv32i/config.mk index c13fa5886c..1e4ff3eacd 100644 --- a/flow/designs/sky130hd/riscv32i/config.mk +++ b/flow/designs/sky130hd/riscv32i/config.mk @@ -12,3 +12,5 @@ export REMOVE_ABC_BUFFERS = 1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hs/aes/config.mk b/flow/designs/sky130hs/aes/config.mk index 7e2fb9e353..3c461077eb 100644 --- a/flow/designs/sky130hs/aes/config.mk +++ b/flow/designs/sky130hs/aes/config.mk @@ -20,4 +20,4 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAPCELL* +export REMOVE_CELLS_FOR_LEC = TAP* From 2fd880a9120cd255a802acd8eec59a215ed9ddb7 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Wed, 11 Feb 2026 22:47:41 +0100 Subject: [PATCH 4/5] add remove cells commands for lec check Signed-off-by: Noam Cohen --- flow/designs/sky130hd/aes/config.mk | 2 +- flow/designs/sky130hd/jpeg/config.mk | 2 +- flow/designs/sky130hd/riscv32i/config.mk | 2 +- flow/designs/sky130hs/aes/config.mk | 2 +- flow/designs/sky130hs/ibex/config.mk | 2 +- flow/designs/sky130hs/jpeg/config.mk | 2 +- flow/designs/sky130hs/riscv32i/config.mk | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/flow/designs/sky130hd/aes/config.mk b/flow/designs/sky130hd/aes/config.mk index c078641ff3..d4b15e1bdf 100644 --- a/flow/designs/sky130hd/aes/config.mk +++ b/flow/designs/sky130hd/aes/config.mk @@ -24,4 +24,4 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAP* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hd/jpeg/config.mk b/flow/designs/sky130hd/jpeg/config.mk index 8fdeecb1eb..087b5532a6 100644 --- a/flow/designs/sky130hd/jpeg/config.mk +++ b/flow/designs/sky130hd/jpeg/config.mk @@ -14,4 +14,4 @@ export FASTROUTE_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NICKNAME)/fastroute.t export REMOVE_ABC_BUFFERS = 1 -export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hd/riscv32i/config.mk b/flow/designs/sky130hd/riscv32i/config.mk index 1e4ff3eacd..3284fc0b05 100644 --- a/flow/designs/sky130hd/riscv32i/config.mk +++ b/flow/designs/sky130hd/riscv32i/config.mk @@ -13,4 +13,4 @@ export REMOVE_ABC_BUFFERS = 1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hd__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hs/aes/config.mk b/flow/designs/sky130hs/aes/config.mk index 3c461077eb..3abf00b4c4 100644 --- a/flow/designs/sky130hs/aes/config.mk +++ b/flow/designs/sky130hs/aes/config.mk @@ -20,4 +20,4 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAP* +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* diff --git a/flow/designs/sky130hs/ibex/config.mk b/flow/designs/sky130hs/ibex/config.mk index 5d88f6dc55..b9724aae49 100644 --- a/flow/designs/sky130hs/ibex/config.mk +++ b/flow/designs/sky130hs/ibex/config.mk @@ -18,4 +18,4 @@ export TNS_END_PERCENT = 100 export REMOVE_ABC_BUFFERS = 1 -export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hs/jpeg/config.mk b/flow/designs/sky130hs/jpeg/config.mk index d3eb753d7a..e077923e72 100644 --- a/flow/designs/sky130hs/jpeg/config.mk +++ b/flow/designs/sky130hs/jpeg/config.mk @@ -20,4 +20,4 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAPCELL* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file diff --git a/flow/designs/sky130hs/riscv32i/config.mk b/flow/designs/sky130hs/riscv32i/config.mk index 9bb949127b..9714880f22 100644 --- a/flow/designs/sky130hs/riscv32i/config.mk +++ b/flow/designs/sky130hs/riscv32i/config.mk @@ -18,4 +18,4 @@ export REMOVE_ABC_BUFFERS = 1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = TAPCELL* +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* From 897a095f6e8d94cef297719fc1cb135646b61122 Mon Sep 17 00:00:00 2001 From: Noam Cohen Date: Thu, 12 Feb 2026 23:15:41 +0100 Subject: [PATCH 5/5] getPath with IDs + disable pending fix + update config Signed-off-by: nanocoh --- flow/designs/asap7/aes-block/block.mk | 1 + flow/designs/asap7/ibex/config.mk | 3 +++ flow/designs/asap7/jpeg/config.mk | 3 +++ flow/designs/asap7/mock-alu/config.mk | 3 +++ .../asap7/riscv32i-mock-sram/fakeram7_256x32/config.mk | 2 ++ flow/designs/asap7/swerv_wrapper/config.mk | 3 +++ flow/designs/gf180/ibex/config.mk | 3 +++ flow/designs/gf180/uart-blocks/config.mk | 3 +++ flow/designs/ihp-sg13g2/ibex/config.mk | 3 +++ flow/designs/nangate45/bp_multi_top/config.mk | 3 +++ flow/designs/sky130hd/chameleon/config.mk | 1 + flow/designs/sky130hd/ibex/config.mk | 4 +++- flow/designs/sky130hd/microwatt/config.mk | 2 ++ tools/kepler-formal | 2 +- 14 files changed, 34 insertions(+), 2 deletions(-) diff --git a/flow/designs/asap7/aes-block/block.mk b/flow/designs/asap7/aes-block/block.mk index 841f0405bd..aa028abd12 100644 --- a/flow/designs/asap7/aes-block/block.mk +++ b/flow/designs/asap7/aes-block/block.mk @@ -15,4 +15,5 @@ export MAX_ROUTING_LAYER ?= M5 export PLACE_PINS_ARGS = -annealing export PDN_TCL = $(PLATFORM_DIR)/openRoad/pdn/BLOCK_grid_strategy.tcl +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/designs/asap7/ibex/config.mk b/flow/designs/asap7/ibex/config.mk index 8a1c644f23..41010a4062 100644 --- a/flow/designs/asap7/ibex/config.mk +++ b/flow/designs/asap7/ibex/config.mk @@ -30,3 +30,6 @@ export TNS_END_PERCENT = 100 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/asap7/jpeg/config.mk b/flow/designs/asap7/jpeg/config.mk index f6ac8f524d..f100bba6db 100644 --- a/flow/designs/asap7/jpeg/config.mk +++ b/flow/designs/asap7/jpeg/config.mk @@ -16,3 +16,6 @@ export PLACE_DENSITY = 0.75 export TNS_END_PERCENT = 100 export EQUIVALENCE_CHECK ?= 1 export REMOVE_CELLS_FOR_LEC = TAPCELL* + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/asap7/mock-alu/config.mk b/flow/designs/asap7/mock-alu/config.mk index 8dedca1632..bd6a04a056 100644 --- a/flow/designs/asap7/mock-alu/config.mk +++ b/flow/designs/asap7/mock-alu/config.mk @@ -10,3 +10,6 @@ export ROUTING_LAYER_ADJUSTMENT = 0.45 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/asap7/riscv32i-mock-sram/fakeram7_256x32/config.mk b/flow/designs/asap7/riscv32i-mock-sram/fakeram7_256x32/config.mk index 3c1a32d84c..5503450940 100644 --- a/flow/designs/asap7/riscv32i-mock-sram/fakeram7_256x32/config.mk +++ b/flow/designs/asap7/riscv32i-mock-sram/fakeram7_256x32/config.mk @@ -17,3 +17,5 @@ export PLACE_PINS_ARGS = -min_distance 6 -min_distance_in_tracks export IO_CONSTRAINTS = $(DESIGN_HOME)/asap7/riscv32i-mock-sram/fakeram7_256x32/io.tcl export PDN_TCL = $(PLATFORM_DIR)/openRoad/pdn/BLOCK_grid_strategy.tcl + +export REMOVE_CELLS_FOR_LEC = TAPCELL* diff --git a/flow/designs/asap7/swerv_wrapper/config.mk b/flow/designs/asap7/swerv_wrapper/config.mk index 1356b5d586..31d0fb6502 100644 --- a/flow/designs/asap7/swerv_wrapper/config.mk +++ b/flow/designs/asap7/swerv_wrapper/config.mk @@ -61,3 +61,6 @@ export ROUTING_LAYER_ADJUSTMENT = 0.2 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/gf180/ibex/config.mk b/flow/designs/gf180/ibex/config.mk index 50ac1389fa..c2eb04480c 100644 --- a/flow/designs/gf180/ibex/config.mk +++ b/flow/designs/gf180/ibex/config.mk @@ -17,3 +17,6 @@ export PLACE_DENSITY_LB_ADDON = 0.1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/gf180/uart-blocks/config.mk b/flow/designs/gf180/uart-blocks/config.mk index 64cf42220e..033779ecac 100644 --- a/flow/designs/gf180/uart-blocks/config.mk +++ b/flow/designs/gf180/uart-blocks/config.mk @@ -22,3 +22,6 @@ export PLACE_DENSITY = 0.60 export TAPCELL_TCL ?= $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NICKNAME)/tapcell.tcl export MACRO_ROWS_HALO_X = 14 export MACRO_ROWS_HALO_Y = 14 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/ihp-sg13g2/ibex/config.mk b/flow/designs/ihp-sg13g2/ibex/config.mk index 6f71860ef2..b02f6d0530 100644 --- a/flow/designs/ihp-sg13g2/ibex/config.mk +++ b/flow/designs/ihp-sg13g2/ibex/config.mk @@ -22,3 +22,6 @@ export CTS_BUF_DISTANCE = 60 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/nangate45/bp_multi_top/config.mk b/flow/designs/nangate45/bp_multi_top/config.mk index 8fd92869a9..f6fdfb39ac 100644 --- a/flow/designs/nangate45/bp_multi_top/config.mk +++ b/flow/designs/nangate45/bp_multi_top/config.mk @@ -35,3 +35,6 @@ export SKIP_GATE_CLONING = 1 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 + diff --git a/flow/designs/sky130hd/chameleon/config.mk b/flow/designs/sky130hd/chameleon/config.mk index cf331a908f..97068cce34 100644 --- a/flow/designs/sky130hd/chameleon/config.mk +++ b/flow/designs/sky130hd/chameleon/config.mk @@ -50,4 +50,5 @@ export FP_PDN_RAIL_WIDTH = 0.48 export FP_PDN_RAIL_OFFSET = 0 export TNS_END_PERCENT = 100 +export DISABLE_LEC_CHECK = 1 diff --git a/flow/designs/sky130hd/ibex/config.mk b/flow/designs/sky130hd/ibex/config.mk index 2bb6e81df7..2487f83f96 100644 --- a/flow/designs/sky130hd/ibex/config.mk +++ b/flow/designs/sky130hd/ibex/config.mk @@ -29,4 +29,6 @@ export CTS_CLUSTER_DIAMETER = 50 export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 -export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* \ No newline at end of file +export REMOVE_CELLS_FOR_LEC = sky130_fd_sc_hs__tapvpwrvgnd* + +export DISABLE_LEC_CHECK = 1 diff --git a/flow/designs/sky130hd/microwatt/config.mk b/flow/designs/sky130hd/microwatt/config.mk index 6a2021c3f5..dea175ea87 100644 --- a/flow/designs/sky130hd/microwatt/config.mk +++ b/flow/designs/sky130hd/microwatt/config.mk @@ -51,3 +51,5 @@ endif export SWAP_ARITH_OPERATORS = 1 export OPENROAD_HIERARCHICAL = 1 + +export DISABLE_LEC_CHECK = 1 diff --git a/tools/kepler-formal b/tools/kepler-formal index 44f6ad6b07..a36931576e 160000 --- a/tools/kepler-formal +++ b/tools/kepler-formal @@ -1 +1 @@ -Subproject commit 44f6ad6b075c0b98a38e042d5c4347765e250f05 +Subproject commit a36931576eda927ee1de4fc48e42dcb26ea4b43f