# Test memory macro gets ignored due to -ignore_buses read_verilog -noblackbox <Y arc on nand2_1 exists select -assert-any =sg13g2_nand2_1/i:A %co1:+$specify2[SRC] =sg13g2_nand2_1/o:Y %co1:+$specify2[DST] %i # D->Q arc on sdfbbp_1 doesn't select -assert-none =sg13g2_sdfbbp_1/i:D %co1:+$specify2[SRC] =sg13g2_nand2_1/o:Q %co1:+$specify2[DST] %i