Automatic Verification of External Interrupt Behaviors for Microprocessor Design.

Fu-Ching Yang Wen-Kai Huang Ing-Jer Huang

Published in: DAC (2007)

Keyphrases

design methodology
real time
neural network
artificial intelligence
design principles
optimal design
circuit design
case study
knowledge based systems
design patterns