YosysHQ.yosys/tests/sat/initval.ys at 1d88887cfdbeedff7dce9024d8fb4ceb014cb2ef - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-02-17 21:36:55 +00:00

Files

Eddie Hung 2b37a093e9 In sat: 'x' in init attr should not override constant

2019-08-22 16:42:19 -07:00

5 lines

61 B

Plaintext

Raw Blame History

 read_verilog -sv initval.v
 proc;
 sat -seq 10 -prove-asserts