Simulation using code-perturbation: Black- and white-box approach Conference Paper uri icon

abstract

  • 2001 IEEE. 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.

name of conference

  • Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design

published proceedings

  • INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS

author list (cited authors)

  • Yang, Z., Min, B., & Choi, G.

citation count

  • 0

complete list of authors

  • Yang, Z||Min, B||Choi, G

publication date

  • January 2001