mirror of https://github.com/YosysHQ/yosys.git
11 lines
139 B
Plaintext
11 lines
139 B
Plaintext
|
read -sv <<EOT
|
||
|
|
module test(input foo);
|
||
|
|
always @(*) assert(foo);
|
||
|
|
endmodule
|
||
|
|
EOT
|
||
|
|
|
||
|
|
verific -import test
|
||
|
|
prep
|
||
|
|
|
||
|
|
select -assert-count 1 t:$assert
|