Sequential logic synthesis using symbolic bi-decomposition
Abstract
References
Recommendations
Irredundant sequential machines via optimal logic synthesis
It is shown that optimal sequential logic synthesis can produce irredundant, fully testable finite-state machines. Synthesizing a sequential circuit from a state transition graph description involves the steps of state minimization, state assignment, ...
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 ...
Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition
Rapid single flux quantum (RSFQ) logic is a promising technology to supersede CMOS logic in some specialized areas due to providing ultrafast and energy-efficient circuits. To realize a large-scale integration design, electronic design automation (EDA) ...
Comments
Information & Contributors
Information
Published In
- General Chairs:
- Luca Benini,
- Giovanni De Micheli,
- Program Chairs:
- Bashir Al-Hashimi,
- Wolfgang Mueller
Sponsors
- EDAA: European Design Automation Association
- ECSI
- EDAC: Electronic Design Automation Consortium
- SIGDA: ACM Special Interest Group on Design Automation
- The IEEE Computer Society TTTC
- The IEEE Computer Society DATC
- The Russian Academy of Sciences: The Russian Academy of Sciences
Publisher
European Design and Automation Association
Leuven, Belgium
Publication History
Check for updates
Qualifiers
- Research-article
Conference
- EDAA
- EDAC
- SIGDA
- The Russian Academy of Sciences
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 53Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in