
Tools
In order to support researchers in evaluating their algorithms
and documenting their results RevLib currently provides two
tools: Quiver and the
Benchmark Generator.
Quiver
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 24bit 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
[BBC+:1995]
 viewing the output of a circuit in truthtable form
 verifying the output of a circuit against a reversible function specification
Download:
We are indebted to Nathan Scott, who implements the Quiver!
Benchmark Generator
The Benchmark Generator automatically creates random reversible functions
with respect to the following parameters, which have to be given as input:
 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
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.
Download:
back

