Logic Design Validation via Simulation and Automatic Test Pattern Generation.

Hussain Al-Asaad John P. Hayes

Published in: J. Electron. Test. (2000)

Keyphrases

case study
design process
chip design
learning environment
optimal design
logical framework
modal logic
design tools
simulation environment
logic circuits
simulation tools