Login / Signup
Automated Synthesis of Cell Libraries for Asynchronous Circuits.
Matheus Trevisan
Michel Evandro Arendt
Adriel Ziesemer
Ricardo Augusto da Luz Reis
Ney Laert Vilar Calazans
Published in:
SBCCI (2014)
Keyphrases
</>
asynchronous circuits
protein subcellular location
delay insensitive
process algebra
digital libraries
semi automated
model checking
fully automated
automated analysis
real time
database
metadata
data driven
computer aided
context sensitive
program synthesis