Automatic Synthesis of Composable Sequential Quantum Boolean Circuits

Authors:
Li-Kai Chang;Fu-Chiung Cheng
Affiliations:
Department of Computer Science and Engineering, Tatung University Taipei, Taiwan;Department of Computer Science and Engineering, Tatung University Taipei, Taiwan
Venue:
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Year:
2005

Citing 7
Cited 0

Translating programs into delay-insensitive circuits

Translating programs into delay-insensitive circuits
Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits
Transformation rules for designing CNOT-based quantum circuits

Proceedings of the 39th annual Design Automation Conference
An Introduction to Quantum Computing Algorithms

An Introduction to Quantum Computing Algorithms
Quantum computation and quantum information

Quantum computation and quantum information
A transformation based algorithm for reversible logic synthesis

Proceedings of the 40th annual Design Automation Conference
Building-Blocks for Designing DI Circuits

Building-Blocks for Designing DI Circuits

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) are used to describe the behaviors of self-timed circuits and then are translated into SQBCs based on Toffoli gates. The concept of IP (Intellectual Property) reuse is applied to the constructed SQBCs to produce reusable and composable quantum Boolean circuits (CQBCs). Therefore, these reusable CQBCs as basic modular components can be exploited to construct more complicated quantum Boolean circuits. A set of self-timed components is successfully and automatically synthesized into CQBCs by our methodology. These CQBCs can be used as building blocks to compose control-path components of self-timed systems.