Formalizing hardware/software interface specifications.

Juncao Li Fei Xie Thomas Ball Vladimir Levin Con McGarvey

Published in: ASE (2011)

Keyphrases

hardware software
hardware and software
embedded systems
hw sw
design methodology
user interface
multi core processors
hardware software partitioning
high level
formal specification
high performance computing
hardware design
shared memory
computing systems
efficient implementation
response time
case study