equivalence vs. property checking

Skip to first unread message

Toni Jussila

Nov 21, 2013, 7:12:30 AM11/21/13
to hw...@googlegroups.com

and thank you for organizing this event again.

Based on the IWLS'2012 paper from Brayton, Een and Mischenko it is apparent that some of the problems are sequential equivalence checking. I was wondering whether there was any additional information on this like which ones are SEC and which ones are property checking.

Best Regards,
Toni Jussila

Dr. Toni Jussila       | Phone:  +49 89 99013-417
OneSpin Solutions GmbH | Fax:    +49 89 99013-100
Nymphenburgerstr. 20a  |
80335 Muenchen         | toni.j...@onespin-solutions.com
Geschaeftsfuehrung: Dr. Raik Brinkmann, Oliver Habeck
Vorsitzender des Beirats: Paul Hill
Sitz: Muenchen; Amtsgericht Muenchen HRB 139464
UstID#: DE 814413215

Reply all
Reply to author
0 new messages