High Level Synthesis of Asynchronous Circuits from Data Flow Graphs.

Rene van Leuken Tom Van Leeuwen Huib Lincklaen Arriens

Published in: PATMOS (2011)

Keyphrases

asynchronous circuits
high level synthesis
process algebra
parallel architecture
delay insensitive
model checking
design space exploration
web services
computer vision
image segmentation
dynamic programming
sensor networks
efficient implementation