Abstract. Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically collected design error data from a number of academic microprocessor design projects. We present an analysis of this data and report on the lessons learned in the collection effort. Index terms: functional verification, data collection, design verification, design errors, microprocessor testing Contact information
Abstract With the increase in the complexity of VLSI circuit design, logic design errors can occur d...
Design simulation and model checking are two alterna-tive and complementary techniques for verifying...
NUMBER OF PAGES: xv+413Considers failures disrupting the programs in microprocessors, i.e. failures ...
. Research on practical design verification techniques has long been impeded by the lack of publishe...
A design verification methodology for microprocessor hardware based on modeling design errors and ge...
A project is under way at the University of Michigan to develop a design verification methodology fo...
Functional design verification is one of the most serious bottlenecks in modem microprocessor design...
We are developing a design verification methodology for microprocessor hardware based on modeling de...
Design validation for microprocessors based on modeling design errors and generating tests for them ...
Due to the character of the original source materials and the nature of batch digitization, quality ...
Verification of the functionality of VHDL specifications is one of the primary and most time consumi...
Abstract—Interrupt behaviors, particularly the external ones, are difficult to verify in a microproc...
This paper describes a diagnosis technique for locating design errors in circuit implementations whi...
A CAD tool ACCORD has been developed for design verification and design error correction. ACCORD ver...
Design-induced errors all too often result in accidents and disasters in safety critical systems. Ex...
Abstract With the increase in the complexity of VLSI circuit design, logic design errors can occur d...
Design simulation and model checking are two alterna-tive and complementary techniques for verifying...
NUMBER OF PAGES: xv+413Considers failures disrupting the programs in microprocessors, i.e. failures ...
. Research on practical design verification techniques has long been impeded by the lack of publishe...
A design verification methodology for microprocessor hardware based on modeling design errors and ge...
A project is under way at the University of Michigan to develop a design verification methodology fo...
Functional design verification is one of the most serious bottlenecks in modem microprocessor design...
We are developing a design verification methodology for microprocessor hardware based on modeling de...
Design validation for microprocessors based on modeling design errors and generating tests for them ...
Due to the character of the original source materials and the nature of batch digitization, quality ...
Verification of the functionality of VHDL specifications is one of the primary and most time consumi...
Abstract—Interrupt behaviors, particularly the external ones, are difficult to verify in a microproc...
This paper describes a diagnosis technique for locating design errors in circuit implementations whi...
A CAD tool ACCORD has been developed for design verification and design error correction. ACCORD ver...
Design-induced errors all too often result in accidents and disasters in safety critical systems. Ex...
Abstract With the increase in the complexity of VLSI circuit design, logic design errors can occur d...
Design simulation and model checking are two alterna-tive and complementary techniques for verifying...
NUMBER OF PAGES: xv+413Considers failures disrupting the programs in microprocessors, i.e. failures ...