Genesys-pro: innovations in test program generation for functional processor verification
| Autor: | Michal Rimon, Allon Adir, Eli Almog, Avi Ziv, Michael Vinov, Laurent Fournier, Eitan Marcus |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
High-level verification
Functional verification Computer science business.industry Runtime verification Random test generator Intelligent verification Computer architecture Hardware and Architecture Embedded system Verification and validation of computer simulation models Verification Electrical and Electronic Engineering business Software Software verification |
| Zdroj: | IEEE Design & Test of Computers. 21:84-93 |
| ISSN: | 0740-7475 |
| Popis: | Functional verification is widely recognized as the bottleneck of the hardware design cycle. With the ever-growing demand for greater performance and faster time to market, coupled with the exponential growth in hardware size, verification has become increasingly difficult. Although formal methods such as model checking and theorem proving have resulted in noticeable progress, these approaches apply only to the verification of relatively small design blocks or to very focused verification goals. Current industry practice is to use separate, automatic, random stimuli generators for processor- and multiprocessor-level verification. The generated stimuli, usually in the form of test programs, trigger architecture and microarchitecture events defined by a verification plan. MAC-based algorithms are well suited for the test program generation domain because they postpone heuristic decisions until after consideration of all architectural and testing-knowledge constraints. Geneysys-Pro is currently the main test generation tool for functional verification of IBM processors, including several complex processors. We've found that the new language considerably reduces the effort needed to define and maintain knowledge specific to an implementation and verification plan. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|