Login / Signup
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.
Victor Khomenko
Maciej Koutny
Alexandre Yakovlev
Published in:
Fundam. Informaticae (2006)
Keyphrases
</>
asynchronous circuits
logic synthesis
multi valued
heuristic search
process algebra
quantum computing
satisfiability problem
delay insensitive
inductive learning
sat solvers
search algorithm
logic circuits
model checking
search space
mobile phone
context aware