Pre-synthesis Optimization for Asynchronous Circuits Using Compiler Techniques.

Sharareh Zamanzadeh Mehrdad Najibi Hossein Pedram

Published in: CSICC (2008)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
optimization problems
model checking
optimization algorithm
neural network
programming language
optimization process
constrained optimization
discrete optimization
software systems
global optimization
optimization model
program synthesis