<@U01EK2VDMDG> Yosys is pretty good and you can po...
# generaln
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?
Amro Tork
03/22/2021, 10:55 PM@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?
Amro Tork
03/22/2021, 10:57 PM@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.
Amro Tork
03/22/2021, 10:58 PMThanks @Noah Evans
Amro Tork
03/22/2021, 10:58 PMAppreciate all the help.
n
Noah Evans
03/22/2021, 10:58 PMNoah 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
Mariam Zanaty
03/22/2021, 11:12 PM@Noah Evans Thank you
2 Views