Cited By
View all- Qin YShen SWu QDai HJia Y(2015)Complementary Synthesis for Encoder with Flow Control MechanismACM Transactions on Design Automation of Electronic Systems10.1145/279407921:1(1-26)Online publication date: 2-Dec-2015
Synthesis of feedback decoders for initialized encoders
Article No.: 49, Pages 1 - 6
Abstract
Encoding and decoding are common practice in data processing. Designing encoder and decoder circuitry manually can be error prone and time consuming. Although great progress has been made on automating decoder synthesis from its encoder specification, prior specification was limited to an uninitialized encoder only, whose decoder in turn cannot depend on the entire execution history of the encoder. Prior decoder existence condition is unnecessarily stringent as encoders are often initialized to some specific starting states. This paper shows how decoders of initialized encoders can be practically synthesized. Experimental results demonstrate effective decoder synthesis of initialized encoders, beyond existing methods' capabilities.
References
[1]
Berkeley Logic Synthesis and Verification Group. ABC: A system for sequential synthesis and verification. http://www.eecs.berkeley.edu/~alanmi/abc/
[2]
A. R. Bradley. SAT-based model checking without unrolling. In Proc. Int'l Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), pp. 70--87, 2011.
[3]
W. Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symbolic Logic, 22(3):269--285, 1957.
[4]
N. Eén, A. Mishchenko, and R. Brayton. Efficient implementation of property-directed reachability. In Proc. Int'l Conf. on Formal Methods in Computer Aided Design (FMCAD), pp. 125--134, 2011.
[5]
N. Eén and N. Sörensson. An extensible SAT-solver. In Proc. Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT), pp. 502--518, 2003.
[6]
J.-H. R. Jiang, C.-C. Lee, A. Mishchenko, and C.-Y. Huang. To SAT or not to SAT: Scalable exploration of functional dependency. IEEE Trans. on Computers, 59(4):457--467, April 2010.
[7]
H.-Y. Liu, Y.-C. Chou, C.-H. Lin, and J.-H. R. Jiang. Towards completely automatic decoder synthesis. In Proc. Int'l Conf. on Computer-Aided Design (ICCAD), pp. 389--395, 2011.
[8]
H.-Y. Liu, Y.-C. Chou, C.-H. Lin, and J.-H. R. Jiang. Automatic decoder synthesis: methods and case studies. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 31(9): 1319--1331, September 2012.
[9]
K. McMillan. Interpolation and SAT-based model checking. In Proc. Int'l Conf. on Computer Aided Verification (CAV), pp. 1--13, 2003.
[10]
M. Moskewicz, C. Madigan, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proc. Design Automation Conference (DAC), pp. 530--535, 2001.
[11]
S. Shen, Y. Qin, K. Wang, L. Xiao, J. Zhang, and S. Li. Synthesizing complementary circuits automatically. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 29(8):1191--1202, August 2010.
[12]
S. Shen, Y. Qin, J. Zhang, and S. Li. A halting algorithm to determine the existence of the decoder. In IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 30(10): 1556--1563, October 2011.
[13]
G. Tseitin. On the complexity of derivation in propositional calculus. Studies in Constructive Mathematics and Mathematical Logic, pp. 466--483, 1970.
Index Terms
- Synthesis of feedback decoders for initialized encoders
Recommendations
Complementary Synthesis for Encoder with Flow Control Mechanism
Complementary synthesis automatically generates an encoder's decoder with the assumption that the encoder's all input variables can always be uniquely determined by its output symbol sequence. However, to prevent the faster encoder from overwhelming the ...
Towards completely automatic decoder synthesis
ICCAD '11: Proceedings of the International Conference on Computer-Aided DesignUpon receiving the output sequence streaming from a sequential encoder, a decoder reconstructs the corresponding input sequence that streamed to the encoder. Such an encoding and decoding scheme is commonly encountered in communication, cryptography, ...
A complexity scalable decoder in an AVS video codec
MoMM '08: Proceedings of the 6th International Conference on Advances in Mobile Computing and MultimediaThe control of energy consumption in mobile devices is very important and is being paid more and more attentions to. An effective way to reduce the energy consumption of video decoding is to reduce the computational complexity of the video decoder. This ...
Comments
Information & Contributors
Information
Published In
May 2013
1285 pages
ISBN:9781450320719
DOI:10.1145/2463209
Copyright © 2013 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- EDAC: Electronic Design Automation Consortium
- SIGDA: ACM Special Interest Group on Design Automation
- IEEE-CEDA
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 29 May 2013
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
DAC '13
Sponsor:
- EDAC
- SIGDA
Acceptance Rates
Overall Acceptance Rate 1,770 of 5,499 submissions, 32%
Upcoming Conference
DAC '25
- Sponsor:
- sigda
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 78Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Mar 2025
Other Metrics
Citations
Cited By
View all- Qin YShen SWu QDai HJia Y(2015)Complementary Synthesis for Encoder with Flow Control MechanismACM Transactions on Design Automation of Electronic Systems10.1145/279407921:1(1-26)Online publication date: 2-Dec-2015
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in