YosysHQ.yosys/tests/sat/initval.ys at 4d6fac019a9a2ca3d2f0a05eb8d08c88e04faad0 - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-04-25 03:46:21 +00:00

Files

Clifford Wolf 3b52121d32 now ignore init attributes on non-register wires in sat command

2014-07-05 11:18:38 +02:00

62 B

Raw Blame History

View Raw