Verifying external interrupts of embedded microprocessor in SoC with on-chip bus.

Fu-Ching Yang Jing-Kun Zhong Ing-Jer Huang

Published in: ICCAD (2008)

Keyphrases

high speed
low power
embedded systems
low cost
physical design
functional verification
ibm power processor
circuit design
single chip
chip design
real time
ibm zenterprise
model checking
dynamic random access memory
internal and external
high density
instruction set
analog vlsi
design methodology