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 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 [BBC+:1995] viewing the output of a circuit in truth-table form verifying the output of a circuit against a reversible function specification Download: Quiver for Linux Versions for Windows and Mac will comming soon! 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: Benchmark Generator for Linux Versions for Windows and Mac will comming soon!  back