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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540619376, 9783540495673
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A tutorial on digital design derivation using DRS

1996 ◽  
pp. 270-274 ◽  
Author(s):  
Bhaskar Bose ◽  
M. Esen Tuna ◽  
Venkatesh Choppella
Keyword(s):  
Digital Design

Verification using uninterpreted functions and finite instantiations

1996 ◽  
pp. 218-232 ◽  
Author(s):  
Ramin Hojati ◽  
Adrian Isles ◽  
Desmond Kirkpatrick ◽  
Robert K. Brayton

Formal verification of the Island Tunnel Controller using Multiway Decision Graphs

1996 ◽  
pp. 233-247 ◽  
Author(s):  
Z. Zhou ◽  
X. Song ◽  
S. Tahar ◽  
E. Cerny ◽  
F. Corella ◽  
...  
Keyword(s):  
Formal Verification ◽  
Multiway Decision Graphs

Modular verification of multipliers

1996 ◽  
pp. 49-63 ◽  
Author(s):  
Kavita Ravi ◽  
Abelardo Pardo ◽  
Gary D. Hachtel ◽  
Fabio Somenzi
Keyword(s):  
Modular Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document