Login / Signup
Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis.
Murphy Berzish
Asif Khan
Atulan Zaman
Vijay Ganesh
Derek Rayside
Published in:
CASCON (2016)
Keyphrases
</>
declarative language
design automation
databases
modeling language
functional decomposition
case study
multi agent
data analysis
design patterns
control unit