equivalence vs. property checking

45 views
Skip to first unread message

Toni Jussila

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

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
Forward
0 new messages