Dynamic Verification of OCP-based SoC.

Natale Barsotti Riccardo Mariani Matteo Martinelli Mario Pasquariello

Published in: SoC (2005)

Keyphrases

information retrieval
dynamic environments
low power
real time
neural network
decision making
case study
image sequences
management system
model checking
asynchronous circuits