2006 Formal Methods in Computer Aided Design
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

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

Liveness and Boundedness of Synchronous Data Flow Graphs

2006 ◽  
Author(s):  
A.H. Ghamarian ◽  
M.C.W. Geilen ◽  
T. Basten ◽  
B.D. Theelen ◽  
M.R. Mousavi ◽  
...  
Keyword(s):  
Data Flow ◽  
Data Flow Graphs ◽  
Synchronous Data Flow ◽  
Flow Graphs

scholarly journals Design for Verification of the PCI-X Bus

2006 ◽  
Author(s):  
Haja Moinudeen ◽  
Ali Habibi ◽  
Sofiene Tahar

scholarly journals Post-reboot Equivalence and Compositional Verification of Hardware

2006 ◽  
Author(s):  
Zurab Khasidashvili ◽  
Marcelo Skaba ◽  
Daher Kaiss ◽  
Ziyad Hanna
Keyword(s):  
Compositional Verification

Tracking MUSes and Strict Inconsistent Covers

2006 ◽  
Author(s):  
Eric Gregoire ◽  
Bertrand Mazure ◽  
Cedric Piette
Load More ...
Sign in / Sign up

Export Citation Format

Share Document