Microprocessor design verification

Journal of Automated Reasoning ◽

10.1007/bf00243132 ◽

1989 ◽

Vol 5 (4) ◽

pp. 429-460 ◽

Author(s):

Warren A. Hunt

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor Design Verification

The VLSI Handbook, Second Edition - Electrical Engineering Handbook ◽

10.1201/9781420005967.ch64 ◽

2006 ◽

pp. 64-1-64-36

Author(s):

Vikram Iyengar

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor Design Verification

Memory, Microprocessor, and ASIC ◽

10.1201/9780203010235-12 ◽

2003 ◽

pp. 221-236

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor Design Verification

Electrical Engineering Handbook - The VLSI Handbook ◽

10.1201/9781420049671.ch61 ◽

1999 ◽

Author(s):

Vikram Iyengar ◽

Elizabeth Rudnick

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor Design Verification

The VLSI Handbook ◽

10.1201/9781420049671-65 ◽

1999 ◽

pp. 1316-1332

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor Design Verification

Memory, Microprocessor, and ASIC - Principles and Applications in Engineering ◽

10.1201/9780203010235.ch9 ◽

2003 ◽

pp. 9-1-9-16

Author(s):

Elizabeth Rudnick ◽

Vikram Iyengar

Keyword(s):

Design Verification ◽

Microprocessor Design

Download Full-text

Microprocessor design verification by two-phase evolution of variable length tests

Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC 97) ICEC-97 ◽

10.1109/icec.1997.592354 ◽

2002 ◽

Author(s):

J.E. Smith ◽

M. Bartley ◽

T.C. Fogarty

Keyword(s):

Phase Evolution ◽

Variable Length ◽

Design Verification ◽

Two Phase ◽

Microprocessor Design

Download Full-text

Evolutionary test program induction for microprocessor design verification

Proceedings of the 11th Asian Test Symposium, 2002. (ATS '02). ◽

10.1109/ats.2002.1181739 ◽

2003 ◽

Author(s):

F. Corno ◽

G. Cumani ◽

M. Sonza Reorda ◽

G. Squillero

Keyword(s):

Design Verification ◽

Test Program ◽

Microprocessor Design

Download Full-text

An Accurate Analysis of Microprocessor Design Verification

16th Asian Test Symposium (ATS 2007) ◽

10.1109/ats.2007.4388004 ◽

2007 ◽

Author(s):

Haihua Shen ◽

Heng Zhang

Keyword(s):

Design Verification ◽

Accurate Analysis ◽

Microprocessor Design

Download Full-text

An Accurate Analysis of Microprocessor Design Verification

16th Asian Test Symposium (ATS 2007) ◽

10.1109/ats.2007.95 ◽

2007 ◽

Author(s):

Haihua Shen ◽

Heng Zhang

Keyword(s):

Design Verification ◽

Accurate Analysis ◽

Microprocessor Design

Download Full-text

PRESSS 3: The Five-Story Precast Test Building Vol. 3-3 - Design Verification, Instrumentation &Test Procedures,

10.15554/pci.rr.seis-013 ◽

2002 ◽

Author(s):

Sri Sritharan ◽

Stefano Pampanin ◽

James R. Conley

Keyword(s):

Design Verification ◽

Test Procedures

Download Full-text