Sign in
foss-fpga-tools
/
yosys-symbiflow-plugins
/
345fe14ee26f9de64170fffb00d7229ac6fe1864
/
.
/
integrateinv-plugin
/
tests
/
toplevel
/
toplevel.tcl
blob: 2595cb41ee47a4f9ac871fac4356d58d71a20086 [
file
] [
log
] [
blame
]
yosys -import
if
{
[
info
procs integrateinv
]
==
{
}
}
{
plugin -i integrateinv
}
yosys -import ;
# ingest plugin commands
read_verilog -icells
$::
env(DESIGN_TOP)
.
v
hierarchy -check -auto-top
debug integrateinv
select t
:
\$_NOT_ -assert-count
1
