Verifying Properties Using Sequential ATPG.

Jacob A. Abraham Vivekananda M. Vedula Daniel G. Saab

Published in: ITC (2002)

Keyphrases

structural properties
wide range
pairwise
desirable properties
multimedia
expert systems
control system
topological properties