loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Workshop on Microprocessor Test and Verification Common Challenges and Solutions
A Methodology for Validation of Microprocessors using Equivalence Checking
Hyatt Town Lake Hotel, Austin, Texas
May 29-May 30
ISBN: 0-7695-2045-6
Prabhat Mishra, University of California, Irvine
Nikil Dutt, University of California, Irvine
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. Validation of such processor architectures is one of the most complex and expensive tasks in the current Systems-on-Chip design process. A significant bottleneck in the validation of such systems is the lack of a golden reference model. This paper presents an Architecture Description Language (ADL) driven methodology for generating golden reference model. We use EXPRESSION ADL to capture the structure and behavior of the processor. The synthesizable Register Transfer Language (RTL) description of the architecture is generated from the ADL specification. The generated RTL description is used as a golden reference model for verifying the correctness of the implementation using equivalence checking. We applied our methodology on a RISC DLX architecture to demonstrate the usefulness of our approach.
Citation:
Prabhat Mishra, Nikil Dutt, "A Methodology for Validation of Microprocessors using Equivalence Checking," mtv, pp.83, Fourth International Workshop on Microprocessor Test and Verification Common Challenges and Solutions, 2003
Usage of this product signifies your acceptance of the Terms of Use.