aigbmc: Convert aiw trace to yw trace and load that into smtbmc

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

388 stars 73 forks source link

Closed jix closed 1 year ago

jix commented 1 year ago

This handles more edge cases concerning FF initialization, memories and hierarchy.