A Hardware and Software Monitor for High-Level System-on-Chip Verification.

Mohammed El Shobaki Lennart Lindh

Published in: ISQED (2001)

Keyphrases

hardware and software
high level
low level
low cost
computer systems
real time
model checking
monitoring system
fuzzy logic
source code
hardware software
programmable logic controller
case study
data processing
smart card