Using embedded infrastructure IP for SOC post-silicon verification.

Yu Huang Wu-Tung Cheng

Published in: DAC (2003)

Keyphrases

embedded systems
low cost
high speed
low power
model checking
hardware and software
information exchange
formal methods
support environment
high density
ip networks
voice over ip
gallium arsenide