1 read_verilog -icells <<EOT
2 module top(input clk, i, output o, p);
18 select -assert-count 1 t:$_DFF_P_
19 select -assert-count 1 a:keep
23 read_verilog -icells <<EOT
24 module top(input clk, i, output o, p);
40 select -assert-count 1 t:$_DFF_P_
41 select -assert-count 1 a:keep
45 read_verilog -icells <<EOT
46 module top(input clk, i, output o, p);
63 select -assert-count 2 t:$_DFF_P_
64 select -assert-count 2 a:keep