Sign in
foss-fpga-tools
/
yosys-symbiflow-plugins
/
ab22c1c7b821a11cd6d329f42875d5ac642620f7
/
.
/
integrateinv-plugin
/
tests
/
multi_bit
/
multi_bit.tcl
blob: 8515ae671803849ead812710961938627d6db149 [
file
] [
log
] [
blame
]
yosys -import
plugin -i integrateinv
read_verilog -icells
$::
env(DESIGN_TOP)
.
v
hierarchy -check -auto-top
debug integrateinv
select t
:
\$_NOT_ -assert-count
2
select t
:
box r
:
INV_A=
2'b10
%
i -assert-count
1