yosys/tests/verific/clocking.ys

mirror of https://github.com/YosysHQ/yosys.git
read -formal <<EOT
module test(input foo);
always @(*) assert(foo);
endmodule
EOT

verific -import test
prep

select -assert-count 1 t:$assert
Clocking works with -formal flag 2024-09-22 17:01:16 +02:00			`read -formal <<EOT`
Fix verific clocking when no driver exist 2024-01-18 08:47:04 +01:00			`module test(input foo);`
			`always @(*) assert(foo);`
			`endmodule`
			`EOT`

Revert back to using Verific naming 2025-02-14 04:40:33 +01:00			`verific -import test`
Fix verific clocking when no driver exist 2024-01-18 08:47:04 +01:00			`prep`

			`select -assert-count 1 t:$assert`