mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-19 20:33:39 +00:00
10 lines
142 B
Text
10 lines
142 B
Text
read -formal <<EOT
|
|
module test(input foo);
|
|
always @(*) assert(foo);
|
|
endmodule
|
|
EOT
|
|
|
|
import -import test
|
|
prep
|
|
|
|
select -assert-count 1 t:$assert
|