Channels
#general
Title
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 PMYosys could be use for digital verification as well? I thought it does synthesis only?
@Noah Evans
n
Noah Evans
03/22/2021, 10:56 PMYes, it does verification. I can export netlists to model checkers and SMT solvers.
a
Amro Tork
03/22/2021, 10:57 PMDo you have a quick example for that?
@Noah Evans
n
Noah Evans
03/22/2021, 10:58 PMa
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.
n
Noah Evans
03/22/2021, 10:58 PMSure, 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 PMI’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