Hierarchical verification using verification diagrams

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027800 ◽

1996 ◽

pp. 276-286 ◽

Cited By ~ 5

Author(s):

I. A. Browne ◽

Z. Manna ◽

H. B. Sipma

Keyword(s):

Hierarchical Verification

Download Full-text

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Advanced Research in VLSI ◽

10.7551/mitpress/1102.003.0006 ◽

1988 ◽

Keyword(s):

Trace Theory ◽

Hierarchical Verification

Download Full-text

Towards a methodology for the formal hierarchical verification of RISC processors

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393405 ◽

2002 ◽

Cited By ~ 5

Author(s):

S. Tahar ◽

R. Kumar

Keyword(s):

Hierarchical Verification

Download Full-text

Some conditions under which hierarchical verification is O(N)

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2003.810740 ◽

2003 ◽

Vol 22 (5) ◽

pp. 643-646 ◽

Cited By ~ 1

Author(s):

L.K. Scheffer

Keyword(s):

Hierarchical Verification

Download Full-text

An integrated approach for hierarchical verification of VLSI mask artwork

IEEE Journal of Solid-State Circuits ◽

10.1109/jssc.1985.1052336 ◽

1985 ◽

Vol 20 (2) ◽

pp. 501-509 ◽

Cited By ~ 3

Author(s):

S.N. Stevens ◽

S. McCabe

Keyword(s):

Integrated Approach ◽

Hierarchical Verification

Download Full-text

Hierarchical Verification Using an MDG-HOL Hybrid Tool

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_21 ◽

2001 ◽

pp. 244-258 ◽

Cited By ~ 4

Author(s):

Iskander Kort ◽

Sofiene Tahar ◽

Paul Curzon

Keyword(s):

Hierarchical Verification

Download Full-text

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.04.014 ◽

2005 ◽

Vol 128 (6) ◽

pp. 231-246 ◽

Cited By ~ 5

Author(s):

X. Wang ◽

M. Kwiatkowska ◽

G. Theodoropoulos ◽

Q. Zhang

Keyword(s):

Hierarchical Verification

Download Full-text

Alexandria: A Tool for Hierarchical Verification

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-49519-3_34 ◽

1998 ◽

pp. 515-522

Author(s):

Annette Bunker ◽

Trent N. Larson ◽

Michael D. Jones ◽

Phillip J. Windley

Keyword(s):

Hierarchical Verification

Download Full-text

Algorithmic aspects of hierarchical verification for SA/RT models

1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation ◽

10.1109/icsmc.1997.635201 ◽

2002 ◽

Author(s):

Lihua Shi ◽

J.A. Keane

Keyword(s):

Hierarchical Verification

Download Full-text

Hierarchical Verification of Galois Field Circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2007.895755 ◽

2007 ◽

Vol 26 (10) ◽

pp. 1893-1898 ◽

Cited By ~ 10

Author(s):

Debdeep Mukhopadhyay ◽

Gaurav Sengar ◽

Dipanwita Roy Chowdhury

Keyword(s):

Galois Field ◽

Hierarchical Verification

Download Full-text

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

10.7551/mitpress/6874.001.0001 ◽

1989 ◽

Cited By ~ 217

Author(s):

David L. Dill

Keyword(s):

Trace Theory ◽

Hierarchical Verification

Download Full-text