search

YosysHQ / sby

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

Verific #282

Closed AdamKeith1 closed 3 months ago

AdamKeith1 commented 3 months ago

Getting the error that verific isn't available and curious what it's dependencies were, seemed to work fine in the fifo demo but not working outside of that.

nakengelhardt commented 3 months ago

Verific is a proprietary frontend (https://www.verific.com) that is only available in the Tabby CAD Suite. If you are using the OSS CAD Suite, make sure you use only immediate asserts and assumes supported by the open source frontend, like the 'noverific' version of the fifo demo does.

AdamKeith1 commented 3 months ago

So to my understanding there's no way to use SVA style verification without the Tabby CAD license correct?

jix commented 3 months ago

Yes, the SVA implementation that is included with yosys depends on the verific frontend only available via Tabby CAD. As far as I know, none of the alternative open source SV frontends that can be used with yosys provide sufficient SVA support and/or yosys integration to allow FV using SVA.