Proceedings of the 50th Annual Design Automation Conference 2013
DOI: 10.1145/2463209.2488794
|View full text |Cite
|
Sign up to set email alerts
|

Synthesis of feedback decoders for initialized encoders

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 s… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2015
2015
2015
2015

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 15 publications
(31 reference statements)
0
2
0
Order By: Relevance
“…Tu and Jiang [2013] takes the encoder's initial states into consideration with property directed reachability analysis [Eén et al 2011], so that the encoder's infinite history can be used to generate the decoder's output. This algorithm can handle some encoders that cannot be handled by the state-of-the-art algorithms.…”
Section: Complementary Synthesismentioning
confidence: 99%
See 1 more Smart Citation
“…Tu and Jiang [2013] takes the encoder's initial states into consideration with property directed reachability analysis [Eén et al 2011], so that the encoder's infinite history can be used to generate the decoder's output. This algorithm can handle some encoders that cannot be handled by the state-of-the-art algorithms.…”
Section: Complementary Synthesismentioning
confidence: 99%
“…One of the most difficult jobs in designing communication and multimedia chips is to design and verify complex encoder and decoder pairs. The encoder maps its input variables i to its output variables o, while the decoder recovers i from o. Complementary synthesis [Shen et al 2009[Shen et al , 2010[Shen et al , 2011[Shen et al , 2012Liu et al 2011Liu et al , 2012Tu and Jiang 2013] eases this job by automatically generating a decoder from an encoder, with the assumption that i can always be uniquely determined by a bounded sequence of o.…”
Section: Introductionmentioning
confidence: 99%