Correct hardware synthesis - An algebraic approach.

Juan Ignacio Perna Jim Woodcock Augusto Sampaio Juliano Iyoda

Published in: Acta Informatica (2011)

Keyphrases

real time
low cost
hardware and software
hardware implementation
artificial intelligence
program synthesis
personal computer
computer systems
data acquisition
image processing
computing systems
field programmable gate array
circuit design
single chip
parallel architectures
social networks
digital signal processor