ISSN:
1573-0727
Keywords:
high-level test generation
;
assertion test generation
;
design validation
;
logic verification
;
symbolic trajectory evaluation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Electrical Engineering, Measurement and Control Technology
Notes:
Abstract Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008353704141
Permalink