search

YosysHQ / sby

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

Test and fix signals with nonzero start offsets in aim files with smtbmc #146

Closed jix closed 2 years ago

jix commented 2 years ago

Currently failing

cc @nakengelhardt

jix commented 2 years ago

Now including changes that pass locally when using https://github.com/YosysHQ/yosys/pull/3249