Advertisement

Test Generation Games

  • Pallab DasGupta

Abstract

There are several important issues in the frontier between simulation and FPV. Assuming that the future of design validation lies in the symbiotic coexistence of these two technologies, it is important to investigate how each may benefit the other. Our intention is to present some insights into this area, but before we proceed to do so, we must study the recent developments in simulation-based test environments.

Keywords

Model Checker Test Generation Test Bench Choice Point Bibliographic Note 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2006

Authors and Affiliations

  • Pallab DasGupta
    • 1
  1. 1.Indian Institute of TechnologyKharagpurIndia

Personalised recommendations