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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||