mirror of https://github.com/YosysHQ/yosys.git
9 lines
313 B
Plaintext
9 lines
313 B
Plaintext
read_verilog -sv unnamed_genblk.sv
|
|
select -assert-count 0 top/genblk1.a
|
|
select -assert-count 1 top/genblk02.b
|
|
select -assert-count 0 top/genblk1.a
|
|
select -assert-count 1 top/genblk02.b
|
|
select -assert-count 1 top/g1[0].genblk1.a
|
|
select -assert-count 1 top/genblk4[0].genblk1.a
|
|
select -assert-count 1 top/genblk5.a
|