Dec 15, 2011 #1 T tariq786 Advanced Member level 2 Joined Feb 24, 2004 Messages 562 Helped 67 Reputation 134 Reaction score 54 Trophy points 1,308 Location USA Activity points 3,049 Hi folks I hope you are well. I am wondering if there are any free open source formal property checking tools available? Thanks
Hi folks I hope you are well. I am wondering if there are any free open source formal property checking tools available? Thanks
Dec 15, 2011 #2 yadavvlsi Advanced Member level 3 Joined Nov 19, 2010 Messages 977 Helped 487 Reputation 972 Reaction score 459 Trophy points 1,343 Location Bangalore, India Activity points 6,991 Fedora electronic lab provide a bunch of open source EDA tools. For details check their webpage. **broken link removed**
Fedora electronic lab provide a bunch of open source EDA tools. For details check their webpage. **broken link removed**
Dec 15, 2011 #3 T tariq786 Advanced Member level 2 Joined Feb 24, 2004 Messages 562 Helped 67 Reputation 134 Reaction score 54 Trophy points 1,308 Location USA Activity points 3,049 Thanks yadavvlsi,its very useful. But it has no formal verification tool. Any ways excellent site to keep track of. Thanks a zillion
Thanks yadavvlsi,its very useful. But it has no formal verification tool. Any ways excellent site to keep track of. Thanks a zillion