Automatic Validation Test Generation Using Extracted Control Models.

Robert W. Sumners, Jayanta Bhadra, Jacob A. Abraham

Browse the full VLSID paper archive.