Formal Methods in Computer Aided Design (FMCAD'07)
Latest Publications

TOTAL DOCUMENTS

71
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By IEEE

0769530230, 9780769530239
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cross-Entropy Based Testing

2007 ◽  
Author(s):  
Hana Chockler ◽  
Eitan Farchi ◽  
Benny Godlin ◽  
Sergey Novikov
Keyword(s):  
Cross Entropy

scholarly journals Boosting Verification by Automatic Tuning of Decision Procedures

2007 ◽  
Author(s):  
Frank Hutter ◽  
Domagoj Babic ◽  
Holger H. Hoos ◽  
Alan J. Hu
Keyword(s):  
Decision Procedures ◽  
Automatic Tuning

Fast Minimum-Register Retiming via Binary Maximum-Flow

2007 ◽  
Author(s):  
Aaron P. Hurst ◽  
Alan Mishchenko ◽  
Robert K. Brayton
Keyword(s):  
Maximum Flow

scholarly journals Verifying Correctness of Transactional Memories

2007 ◽  
Author(s):  
Ariel Cohen ◽  
John W. O'Leary ◽  
Amir Pnueli ◽  
Mark R. Tuttle ◽  
Lenore D. Zuck
Keyword(s):  
Transactional Memories
Load More ...
Sign in / Sign up

Export Citation Format

Share Document