Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family

2003 ◽  
Author(s):  
L. Fournier ◽  
Y. Arbetman ◽  
M. Levinger
Keyword(s):  
Functional Verification ◽  
Test Program ◽  
Verification Methodology ◽  
Program Generator

Design Verification of Complex Microprocessors

1997 ◽  
Vol 07 (04) ◽  
pp. 301-318 ◽  
Author(s):  
Joon-Seo Yim ◽  
Chang-Jae Park ◽  
In-Cheol Park ◽  
Chong-Min Kyung
Keyword(s):  
Functional Verification ◽  
Consistency Checking ◽  
Test Program ◽  
Simulation Speed ◽  
Real World Application ◽  
Design Cycle ◽  
Level Model ◽  
Verification Methodology ◽  
Abstraction Levels ◽  
Application Programs

As the complexity of microprocessors increases, functional verification becomes more difficult and emerges as the bottleneck of the design cycle. In this paper, we suggest a functional verification methodology, especially for compatible microprocessor designs. To guarantee perfect compatibility with previous microprocessors, we developed three C models in different abstraction levels, i.e. Polaris, MCV and StreC. An instruction behavioral level C model (Polaris) is verified using the slowed-down PC. In the implemetation of micro-architecture, a micro-operational level model (MCV) and RTL model (StreC) are co-simulated with consistency checking between these two models. The simulation speed of C models makes it possible to test the "real-world" application programs on the RTL design with a software board model (VPC). To increase the confidence level of verifications, Profiler reports the verification coverage of the test program, which is fed-back to the automatic test program generator (Pandora). The Restartability feature also helps to significantly reduce the total simulation time. Using the proposed verification methodology, we designed and verified the HK486, an Intel 80486 pin-compatible microprocessor successfully.

Functional verification methodology of Chameleon processor

2005 ◽  
Author(s):  
F. Casaubieilh ◽  
A. McIsaac ◽  
M. Benjamin ◽  
M. Bartley ◽  
F. Pogodalla ◽  
...  
Keyword(s):  
Functional Verification ◽  
Verification Methodology
Sign in / Sign up

Export Citation Format

Share Document