YosysHQ.yosys/tests/sat/sizebits.ys at b98376884e559330a0de191fadb098eadfe3fe0c - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-04-28 04:56:37 +00:00

Files

Clifford Wolf dbfd8460a9 Allow $size and $bits in verilog mode, actually check test case

2017-09-29 11:56:43 +02:00

3 lines

62 B

Plaintext

Raw Blame History

	`read_verilog -sv sizebits.sv`
	`prep; sat -verify -prove-asserts`