2013 Formal Methods in Computer-Aided Design
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9780983567837
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computing prime implicants

2013 ◽  
Author(s):  
David Deharbe ◽  
Pascal Fontaine ◽  
Daniel Le Berre ◽  
Bertrand Mazure
Keyword(s):  
Prime Implicants

Better generalization in IC3

2013 ◽  
Author(s):  
Zyad Hassan ◽  
Aaron R. Bradley ◽  
Fabio Somenzi

Generalized counterexamples to liveness properties

2013 ◽  
Author(s):  
Gadi Aleksandrowicz ◽  
Jason Baumgartner ◽  
Alexander Ivrii ◽  
Ziv Nevo
Keyword(s):  
Liveness Properties

Efficient MUS extraction with resolution

2013 ◽  
Author(s):  
Alexander Nadel ◽  
Vadim Ryvchin ◽  
Ofer Strichman
Load More ...
Sign in / Sign up

Export Citation Format

Share Document