search

YosysHQ / sby

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

Test uninitialized FFs with constant clocks and fix btor script for this #187

Closed jix closed 2 years ago

jix commented 2 years ago

This needs fixes on the yosys side, including the fixes for #186