Sciweavers

Share
MTV
2003
IEEE

A Methodology for Validation of Microprocessors using Equivalence Checking

12 years 5 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
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.
Prabhat Mishra, Nikil D. Dutt
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where MTV
Authors Prabhat Mishra, Nikil D. Dutt
Comments (0)
books