SoC HW/SW verification and validation.

Chung-Yang Huang Yu-Fan Yin Chih-Jen Hsu Thomas B. Huang Ting-Mao Chang

Published in: ASP-DAC (2011)

Keyphrases

hw sw
hardware software partitioning
hardware software co design
embedded systems
hardware software
design methodology
hardware and software
model checking
low cost
field programmable gate array
information systems
feature analysis
real time
image processing
open source
message passing