Abstract:
A novel verification methodology, combining the two new techniques of Live Verification and Processor State Transfer, is introduced to Architecture Description Language (...Show MoreMetadata
Abstract:
A novel verification methodology, combining the two new techniques of Live Verification and Processor State Transfer, is introduced to Architecture Description Language (ADL) based processor design. The proposed Just-in-Time Verification significantly accelerates the simulation-based equivalence check of the register-transfer and instruction-set level models, generated from the ADL-based specification. This is accomplished by omitting redundant simulation steps occurring in the conventional architecture debug cycle. The potential speedup is demonstrated with a case study, achieving an acceleration of the debug cycle by 660x.
Date of Conference: 16-19 July 2012
Date Added to IEEE Xplore: 10 January 2013
ISBN Information:
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Simulation Step ,
- State Transfer ,
- Time Step ,
- State Space ,
- Turnaround Time ,
- Level Of Abstraction ,
- Formal Methods ,
- Corresponding State ,
- Simulation Time Step ,
- Aspects Of Implementation ,
- Commercial Tools ,
- Fast Forward ,
- Pipeline Stages ,
- Synopsys ,
- Deductive Methods ,
- Final Verification ,
- Verification Approach
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Simulation Step ,
- State Transfer ,
- Time Step ,
- State Space ,
- Turnaround Time ,
- Level Of Abstraction ,
- Formal Methods ,
- Corresponding State ,
- Simulation Time Step ,
- Aspects Of Implementation ,
- Commercial Tools ,
- Fast Forward ,
- Pipeline Stages ,
- Synopsys ,
- Deductive Methods ,
- Final Verification ,
- Verification Approach