An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates.

Kyohei Seino Shigeru Yamashita

Published in: ASP-DAC (2023)

Keyphrases

logic circuits
logic synthesis
low power
quantum computing
tunnel diode
high speed
power dissipation
analog circuits
neural network
genetic algorithm
power consumption
program synthesis