Sign in
foss-fpga-tools
/
yosys-symbiflow-plugins
/
e886d8c9f111c137cb9f99c0255639cd92f7f95d
/
.
/
integrateinv-plugin
/
tests
/
toplevel
/
toplevel.tcl
blob: ba3e445e0233e2e08e85316fc512d789df46f715 [
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
1
