Verification of streaming hardware and software codesigns.

Tim Todman Peter Böhm Wayne Luk

Published in: FPT (2012)

Keyphrases

hardware and software
low cost
computer systems
data streams
model checking
real time
hardware software
hardware software co design
stream processing
programmable logic controller
databases
data mining
formal methods