DesignTest^TM: A Solution to the Problems of ASIC Verification.

Don Allingham Pat Bashford Mike Peters Dean Vendl

Published in: ITC (1989)

Keyphrases

problems involving
optimal solution
case study
model checking
decision problems
exact solution
solving problems
approximate solutions
linear equations
search algorithm
integer programming
mathematical programming
partial solutions
optimal or near optimal