search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387 stars 73 forks source link

Regression test: do not merge FFs with unconstrained initvals #155

Closed jix closed 2 years ago

jix commented 2 years ago

Currently done by opt -keepdc via opt_merge but not valid in a formal context.

Test will fail until a yosys fix (in progress) lands.