Synthesizing Environment Invariants for Modular Hardware Verification

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-39322-9_10 ◽

2020 ◽

pp. 202-225 ◽

Cited By ~ 1

Author(s):

Hongce Zhang ◽

Weikun Yang ◽

Grigory Fedyukovich ◽

Aarti Gupta ◽

Sharad Malik

Keyword(s):

Hardware Verification

Download Full-text

Higher Order Logic and Hardware Verification

10.1017/cbo9780511569845 ◽

1993 ◽

Cited By ~ 42

Author(s):

T. F. Melham

Keyword(s):

Higher Order ◽

Order Logic ◽

Hardware Verification ◽

Higher Order Logic

Download Full-text

Hardware Verification Integrating Deductive With Algorithmic Technologies

10.21236/ada400799 ◽

2002 ◽

Author(s):

Zohar Manna

Keyword(s):

Hardware Verification

Download Full-text

Random Stimuli Generation for Functional Hardware Verification as a CP Application

Principles and Practice of Constraint Programming - CP 2005 - Lecture Notes in Computer Science ◽

10.1007/11564751_120 ◽

2005 ◽

pp. 882-882 ◽

Cited By ~ 3

Author(s):

Yehuda Naveh ◽

Roy Emek

Keyword(s):

Hardware Verification

Download Full-text

A methodology for efficient hardware verification

Formal Methods in System Design ◽

10.1007/bf01384235 ◽

1994 ◽

Vol 5 (1-2) ◽

pp. 95-117 ◽

Cited By ~ 1

Author(s):

Mark Aagaard ◽

Miriam Leeser

Keyword(s):

Hardware Verification

Download Full-text

Implementation of Assertions Checkers in Software and Hardware Verification Environments

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)33733-3 ◽

2003 ◽

Vol 36 (1) ◽

pp. 155-160

Author(s):

Miroslaw Forczek ◽

Katarzyna Hrynkiewicz

Keyword(s):

Hardware Verification ◽

Software And Hardware

Download Full-text

Hardware verification and validation

Reliable Design of Medical Devices ◽

10.1201/9781420027945-29 ◽

2005 ◽

pp. 377-398

Keyword(s):

Hardware Verification ◽

Verification And Validation

Download Full-text

ASIC/System Hardware Verification at Nortel: A View from the Trenches

Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35190-2_1 ◽

1997 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

A. Silburt

Keyword(s):

Hardware Verification

Download Full-text

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_19 ◽

2020 ◽

pp. 403-414

Author(s):

Lenny Truong ◽

Steven Herbst ◽

Rajsekhar Setaluri ◽

Makai Mann ◽

Ross Daly ◽

...

Keyword(s):

Hardware Verification ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific

Download Full-text

Formal hardware verification by symbolic ternary trajectory evaluation

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127701 ◽

1991 ◽

Cited By ~ 51

Author(s):

Randal E. Bryant ◽

Derek L. Beatty ◽

Carl-Johan H. Seger

Keyword(s):

Hardware Verification

Download Full-text

Scalable Hardware Verification with Symbolic Simulation

10.1007/0-387-29906-8 ◽

2006 ◽

Keyword(s):

Hardware Verification ◽

Symbolic Simulation ◽

Scalable Hardware

Download Full-text