|
|
|
||||||||
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|||
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
Search or browse RESULTS for: SESSION 47 TOOLS AND METHODS FOR THE VERIFICATION OF PROCESSORS AND PROCESSOR-BASED SYSTEMS | |
 | |
| 47.4 StressTest: An Automatic Approach to Test Generation via Activity Monitors | ||
| | |
| Author(s): | Ilya Wagner, Valeria Bertacco, Todd Austin | |
| Speaker(s): | Ilya Wagner | |
| SESSION DESCRIPTION: Modern systems are increasingly becoming microprocessor-based. Functional verification of microprocessors has long been recognized as the toughest challenge in verification. The papers in this session stress the need for proper verification planning, highlight the need for test plan automation, and illustrate the use of sophisticated test generation techniques to thoroughly cover corner cases. Case studies highlight the application of a combination of verification techniques to successfully verify these complex systems. |