A Co-Synthesis Approach based on Symbolic Reachability Analysis
Abstract
No abstract available.
Recommendations
Quantum logic synthesis by symbolic reachability analysis
DAC '04: Proceedings of the 41st annual Design Automation ConferenceReversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability analysis where the primary inputs are purely binary. we use symbolic ...
Comments
Information & Contributors
Information
Published In
January 1998
ISBN:0818687045
Copyright © Copyright © 1998 IEEE. All Rights Reserved.
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 30 January 1998
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 133 of 347 submissions, 38%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Aug 2024