On Switching Aware Synthesis for Combinational Circuits.
Jan LáníkOded MalerPublished in: Haifa Verification Conference (2015)
Keyphrases
- tunnel diode
- logic circuits
- logic synthesis
- analog circuits
- low power
- asynchronous circuits
- neural network
- program synthesis
- quantum computing
- delay insensitive
- high speed
- decision trees
- heuristic search
- analog vlsi
- power reduction
- functional programs
- multi valued
- digital circuits
- transmission line
- texture synthesis
- logic programs
- spatio temporal
- expert systems
- knowledge base
- computer vision
- learning algorithm
- machine learning