integrateinv-plugin/tests/fanout/fanout.tcl

yosys -import
plugin -i integrateinv

read_verilog -icells $::env(DESIGN_TOP).v
hierarchy -check -auto-top

debug integrateinv

select t:\$_NOT_ -assert-count 1
select t:box r:INV_A=1'b1 %i -assert-count 3