In order to support researchers in evaluating their algorithms
and documenting their results RevLib currently provides two
tools: Quiver and the
Quiver is an
application to aid in the visualization of reversible quantum circuits.
It displays an image of a circuit (given in the proposed
specification) and saves this image as a 24-bit bitmap file.
Currently Toffoli, Fredkin, Peres, V, and V+ gates are supported. Furthermore,
other gate types, which can be described by sequences of Toffoli, Fredkin, Peres, V, or V+ gates, can be added easily.
Further features are:
- displaying the gate count
- calculating the quantum cost of the circuit based on the decomposition proposed in
- viewing the output of a circuit in truth-table form
- verifying the output of a circuit against a reversible function specification
We are indebted to Nathan Scott, who implements the Quiver!
The Benchmark Generator automatically creates random reversible functions
with respect to the following parameters, which have to be given as input:
The functions generated with this tool are representative with respect to
all functions with the same properties, i.e. the distribution of the random functions with respect to
the number of gates in the resulting minimal Toffoli networks is equal to the distribution of all
possible function with the same properties.
- the number of variables in the resulting function
- the number of constant inputs in the resulting function
- the number of garbage outputs
- the percentages of the number of don't care outputs in the resulting function
- the number of instances to be generated