Updates On this page, previous updates on RevKit are summarized. To get informed on new updates and releases, you can subscripe to our newsletter on this page. April 22nd, 2013: RevKit v1.3 is available [C++] The RM Spectra synthesis algorithm introduced in [MDM:07] has been added. [C++] Verification/Simulation: Recursive simulation of modules has been added. [C++] Synthesis: A function transposition_to_circuit has been added which creates a circuit realizing a certain transposition. [C++] Synthesis: A synthesis approach has been added based on consecutive applications of transposition_to_circuit. [C++] New options in write_blif to distinguish state signals and to keep name of constant lines have been added. [Helpers] The helpers scripts are now integrating new algorithms into the Python bindings. [Python] GUI Changes: Snap Items to Items have been added. [Build] The installing and compilation process has been re-organized and unitized (see README for details). [Build] New scripts have been added allowing for the individual compilation of the entire toolkit and its individual algorithms/implementations. [Build] New clean scripts have been added. [Build] A symbol link for “python” has been added which is used by all Python-scripts. [Build] RevKit is now compatible with the recent boost-library, i.e. compilation errors with (new) Linux distributions have been fixed. [C++] BUGFIX: Equivalence checking is now compatible with new gcc-compilers. [C++] BUGFIX: The order of targets in a Peres gate is now respected. [C++] BUGFIX: The underflow in embed_truth_table with functions that have more outputs than inputs has been fixed. [C++] BUGFIX: Small bugfixes in core/circuit have been performed. [C++] BUGFIX: Several further bugs have been fixed. [Python] BUGFIX: Wrong function name in embed_truth_table tool has been fixed. May 22nd, 2011: RevKit v1.2 is available The RevKit Graphical User Interface has been added (see User Documentation, Section 3.1 or the tutorial videos at this page). An algorithm for the simulation of sequential circuits has been added. RevLib 2.0: Support of simulation files. Extended zooming capabilities have been added (see the status bar of the RevKit Viewer). The module 'revkitmath' for matrix manipulation has been added. Support of buses and BlifMV in write_blif. Bus information can be copied in copy_metadata. Settings for copy_metadata have been added enabling to select which data should be copied. Copying of hierarchical information is now configurable in flatten_circuit. BUGFIX: The properties class (used for algorithms) has been re-implemented (without changing the interface). BUGFIX: A problem with constant inputs and garbage outputs in the equivalence checker has been fixed. BUGFIX: The costs calculation for hierarchical circuits has been fixed. BUGFIX: The problem of too many items in read_pla when there were more than one space between columns has been fixed. February 2nd, 2011: RevKit at the DATE University Booth From March 15th, 2011 to March 17th, 2011, RevKit will be presented at the exhibition of the Design, Automation & Test in Europe conference (DATE). Learn more >> February 2nd, 2011: RevKit v1.1.1 is available BUGFIX: The costs calculation for hierarchical circuits in the RevKit Viewer has been fixed. BUGFIX: A missing case for Fredkin gate synthesis has been added in write_verilog. BUGFIX: It is now possible to select a synthesis method in the line_reduction tool script. BUGFIX: A wrong pathname for testcase has been fixed in the tutorial of the developer's documentation. BUGFIX: The timeout for the line_reduction synthesis algorithms has been fixed. BUGFIX: A wrong return value in target_lines and control_lines has been fixed. BUGFIX: Wrong output names and number of output signals in write_blif have been fixed. In KFDD-based synthesis, sifting instead of exact ordering is used as default. BUGFIX: A wrong variable name in testcase script has been fixed. BUGFIX: A missing variable reference in bus_collection has been fixed. BUGFIX: A wrong reference type in python binding for circuit::circuit_name has been fixed. December 22nd, 2010: RevKit v1.1, is available The adding lines optimization method introduced in [MWD:2010] has been added (see User Documentation, Section D.3). The visualization of circuits has been improved (see User Documentation, Section 3.2). RevLib 2.0: Support of hierarchical circuitry (i.e. modules, flatten_circuit). RevLib 2.0: Support of input and output buses and state signals. RevLib 2.0: Support of annotations. RevLib 2.0: Support of quotes in input and output names. A new IO-function "write_verilog" has been added which generates a Verilog-Code from a given circuit. An offset calculation of quantum_costs has been added which can be applied to determine hypothetical costs An active control concept has been introduced in circuit class. Gates can be accessed by the index in circuit class. A return value has been added for the "add_line_to_circuit"-function. Timer: It is now possible to use system time instead of user time. A "size()"-method has been added in the bitset class. BUGFIX: A bug in the quantum cost calculation of Fredkin gates has been fixed. BUGFIX: Fixed write_realization and write_simulation to compile in Mac OS. BUGFIX: Fixed warnings to compile in Mac OS. BUGFIX: Fixed functor name. October 15th, 2010: RevKit v1.0.1 is available Installing python bindings is now possible on 64-bit machines A bug in the quantum decomposition has been fixed (thanks to Gerhard W. Dueck for reporting this error) July 1st, 2010: RevKit has been launched  back