On-Chip Instrumentation for Runtime Verification in Deeply Embedded Processors.

Ciaran MacNamee Donal Heffernan

Published in: ISVLSI (2015)

Keyphrases

embedded processors
single chip
low power
low cost
functional verification
high speed
model checking
power consumption
parallel implementation
image sensor
hardware and software
multi view
information systems