search

YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
29 stars 5 forks source link

Document how xprop is used to handle uninitialized or dont-cares bits #28

Closed jix closed 1 year ago

jix commented 1 year ago

Contains #26 and #27