Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications.

Mattias O'Nils Axel Jantsch

Published in: Des. Autom. Embed. Syst. (2001)

Keyphrases

communication protocol
hw sw
controller synthesis
hardware software
embedded systems
design methodology
closed loop
formal specification
control system
control algorithm
wifi
multi agent
hardware and software
neural network
high performance computing
field programmable gate array
input output