Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow.
Lukas BurgholzerRudy RaymondRobert WillePublished in: QCE (2020)
Keyphrases
- logic circuits
- high speed
- logic synthesis
- flow patterns
- low power
- digital circuits
- analog vlsi
- circuit design
- quantum computation
- flow field
- quantum mechanics
- analog circuits
- data sets
- model checking
- blue gene
- quantum computing
- evolvable hardware
- tunnel diode
- quantum evolutionary algorithm
- control program
- ibm db
- evolutionary algorithm
- information systems
- social networks