avoid erroring out when coarse-grain logic loops can be resolved by mapping to fine grain operators

YosysHQ / sby

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

Other

388 stars 73 forks source link

avoid erroring out when coarse-grain logic loops can be resolved by mapping to fine grain operators #198

Closed nakengelhardt closed 2 years ago

nakengelhardt commented 2 years ago

(all 3 commands are on the same line just in case someone looks at the generated scripts and wants to play around with it, that way it's clear that they need to be used/removed together)