https://open-source-silicon.dev logo
n

Noah Evans

03/22/2021, 10:53 PM
@User Yosys is pretty good and you can port SVA you tested in Yosys to Onespin.
a

Amro Tork

03/22/2021, 10:55 PM
Yosys could be use for digital verification as well? I thought it does synthesis only?
@Noah Evans
n

Noah Evans

03/22/2021, 10:56 PM
Yes, it does verification. I can export netlists to model checkers and SMT solvers.
a

Amro Tork

03/22/2021, 10:57 PM
Do you have a quick example for that?
@Noah Evans
a

Amro Tork

03/22/2021, 10:58 PM
@Mariam Zanaty is working on design and we need some help with regards to formal verification.
Thanks @Noah Evans
Appreciate all the help.
Sure, NP
a

Amro Tork

03/22/2021, 10:58 PM
@Mariam Zanaty Could you please take a look?
n

Noah Evans

03/22/2021, 11:00 PM
I’m going away for a bit, feel free to ping or DM me in the meantime.
m

Mariam Zanaty

03/22/2021, 11:11 PM
@Amro Tork looks great
@Noah Evans Thank you