Symbolic Synthesis of Clifford Circuits and Beyond.
Matthew AmyOwen Bennett-GibbsNeil J. RossPublished in: QPL (2022)
Keyphrases
- logic synthesis
- analog circuits
- high speed
- program synthesis
- high level
- symbolic representation
- analog vlsi
- multi valued
- texture synthesis
- heuristic search
- connectionist learning
- fault diagnosis
- circuit design
- low cost
- vlsi circuits
- symbolic data
- digital circuits
- symbolic reasoning
- functional programs
- tunnel diode
- connectionist models
- asynchronous circuits
- databases
- case study
- information systems
- neural network