Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540651918, 9783540495192
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk

1998 ◽  
pp. 149-166 ◽  
Author(s):  
S. Ta§iran ◽  
S. P. Khatri ◽  
S. Yovine ◽  
R. K. Brayton ◽  
A. Sangiovanni-Vincentelli
Keyword(s):  
Cross Talk ◽  
Circuit Delay ◽  
Accurate Computation ◽  
Timed Automaton

Alexandria: A Tool for Hierarchical Verification

1998 ◽  
pp. 515-522
Author(s):  
Annette Bunker ◽  
Trent N. Larson ◽  
Michael D. Jones ◽  
Phillip J. Windley
Keyword(s):  
Hierarchical Verification

Techniques for Implicit State Enumeration of EFSMs

1998 ◽  
pp. 469-481 ◽  
Author(s):  
James H. Kukula ◽  
Thomas R. Shiple ◽  
Adnan Aziz
Keyword(s):  
State Enumeration

Model Checking VHDL with CV

1998 ◽  
pp. 508-514 ◽  
Author(s):  
David Déharbe ◽  
Subash Shankar ◽  
Edmund M. Clarke
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document