Files | |
file | bdd_synthesis.hpp |
BDD Based Synthesis. | |
file | dd_synthesis_p.hpp |
file | embed_truth_table.hpp |
Embedding of an irreversible specification. | |
file | esop_synthesis.hpp |
ESOP Based Synthesis. | |
file | exact_synthesis.hpp |
Exact Synthesis of Reversible Networks. | |
file | kfdd_synthesis.hpp |
KFDD Based Synthesis. | |
file | quantum_decomposition.hpp |
Quantum Decomposition of Reversible Circuits. | |
file | reed_muller_synthesis.hpp |
Synthesis algorithm based on Reed Muller Spectra. | |
file | swop.hpp |
SWOP - Synthesis With Output Permutation. | |
file | synthesis.hpp |
General Synthesis type definitions. | |
file | synthesis_utils_p.hpp |
file | transformation_based_synthesis.hpp |
Transformation Based Synthesis. | |
file | transposition_based_synthesis.hpp |
A simple synthesis algorithm based on transpositions. | |