Guiding Component-Based Hardware/Software Co-Verification with Patterns.

Juncao Li Fei Xie Huaiyu Liu

Published in: EUROMICRO-SEAA (2007)

Keyphrases

hardware software
hardware and software
embedded systems
hw sw
hardware software partitioning
low cost
high performance computing
evolutionary computation
real time
relational databases
design methodology
formal methods