Add to ORKGIn this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64-compatible microprocessor
Abstract. Microprocessor design deals with many types of specifications: from functional models (Sys...
Most Systems-on-a-Chips include a custom microprocessor core, and time and resource constraints make...
International audienceMicroprocessor design deals with many types of specifications : from functiona...
Abstract — In this paper we describe a methodology and ex-perience of simulation-based verification ...
Digital's Alpha-based DECchip 21164 processor was verified extensively prior to fabrication of ...
Abstract- As the complexity of high-performance microprocessor increases, functional verification be...
Verification of microprocessors is a vital phase in their development. It takes majority of time and...
Functional coverage is a well known means of measuring verification progress. However, approaches to...
Digital's Alpha-based DECchip 21 164 processor was verified extensively prior to fabrication of...
Coverage directed test generation is a popular method in the area of functional verification of micr...
International audienceMicroprocessor design deals with many types of specifications: from functional...
The paper presents the application of formal verification techniques to a real microprocessor. The d...
This thesis introduces a new specification style for processor microarchitectures. My goal is to pr...
Abstract. Microprocessor design deals with many types of specifica-tions: from functional models (Sy...
The complexity of the instruction set of modern microprocessors often leads to faults in the microin...
Abstract. Microprocessor design deals with many types of specifications: from functional models (Sys...
Most Systems-on-a-Chips include a custom microprocessor core, and time and resource constraints make...
International audienceMicroprocessor design deals with many types of specifications : from functiona...
Abstract — In this paper we describe a methodology and ex-perience of simulation-based verification ...
Digital's Alpha-based DECchip 21164 processor was verified extensively prior to fabrication of ...
Abstract- As the complexity of high-performance microprocessor increases, functional verification be...
Verification of microprocessors is a vital phase in their development. It takes majority of time and...
Functional coverage is a well known means of measuring verification progress. However, approaches to...
Digital's Alpha-based DECchip 21 164 processor was verified extensively prior to fabrication of...
Coverage directed test generation is a popular method in the area of functional verification of micr...
International audienceMicroprocessor design deals with many types of specifications: from functional...
The paper presents the application of formal verification techniques to a real microprocessor. The d...
This thesis introduces a new specification style for processor microarchitectures. My goal is to pr...
Abstract. Microprocessor design deals with many types of specifica-tions: from functional models (Sy...
The complexity of the instruction set of modern microprocessors often leads to faults in the microin...
Abstract. Microprocessor design deals with many types of specifications: from functional models (Sys...
Most Systems-on-a-Chips include a custom microprocessor core, and time and resource constraints make...
International audienceMicroprocessor design deals with many types of specifications : from functiona...