Abstraction Techniques for Validation Coverage Analysis and Test Generation
IEEE Transactions on Computers
Verification Simulation Acceleration UsingCode-Perturbation
Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
Software Testing: A Craftsman's Approach
Software Testing: A Craftsman's Approach
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
Si-Emulation: System Verification Using Simulation and Emulation
ITC '00 Proceedings of the 2000 IEEE International Test Conference
Hardware/software selected cycle solution
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
| Hi-index | 0.00 |
This paper presents a new approach in simulation-base hardware verification, which uses application programs as the test inputs. The approach perturbs the program-control-flow during the simulation to exhaust all branching possibilities in a verification program. It keeps the structure of the verification program at code-segment level and takes a significantly less time than that the straightforward simulation approach does. This approach can be further classified into two categories: the black-box approach and the white-box approach. The black-box approach can be applied to a wide range of programs. It is a cost-efficient method for verifying the integrated model of the hardware/software systems. On the other hand, the white-box approach can be used to retain the correct software state (the hardware state seen by the software) during a simulation.