Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity.

Johnson Fernandes Danil Sokolov Alex Yakovlev

Published in: ASYNC (2017)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
point correspondences
model checking
program synthesis
multiscale
elastic matching
search engine
decision trees
case study
fuzzy sets
distributed systems