A structural encoding technique for the synthesis of asynchronous circuits.

Josep Carmona Jordi Cortadella Enric Pastor

Published in: ACSD (2001)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
structural analysis
model checking
structural information
program synthesis
low cost
fractal image compression
neural network
face recognition
high speed
temporal logic
texture synthesis
encoding scheme