yosys -import
if { [info procs quicklogic_eqn] == {} } { plugin -i ql-qlf }
yosys -import  ;# ingest plugin commands

read_verilog $::env(DESIGN_TOP).v

hierarchy -top tristate
yosys proc
tribuf
flatten
synth
equiv_opt -assert -map +/quicklogic/pp3/cells_sim.v -map +/simcells.v synth_quicklogic -family pp3
design -load postopt
yosys cd tristate
select -assert-count 2 t:inpad
select -assert-count 1 t:outpad
select -assert-count 1 t:\$_TBUF_
select -assert-none t:inpad t:outpad t:\$_TBUF_ %% t:* %D