Mixed-signal system-on-chip verification using a recursively-verifying-modeling (RVM) methodology.

C.-J. Richard Shi

Published in: ISCAS (2010)

Keyphrases

model checking
design methodology
vlsi circuits
power consumption
mixed signal
low power
hardware and software
embedded systems
verification method
multimedia
digital images
relevance vector machines