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

Formal Analysis and Verification of an OFDM Modem Design using HOL

2006 ◽  
Author(s):  
Abu M. Abdullah ◽  
Behzad Akbarpour ◽  
Sofiene Tahar
Keyword(s):  
Formal Analysis

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

scholarly journals Design for Verification of the PCI-X Bus

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

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

2006 ◽  
Author(s):  
Xiaofang Chen ◽  
Yu Yang ◽  
Ganesh Gopalakrishnan ◽  
Ching-tsun Chou

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