Name
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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2463209.2488794 | DAC |
Keywords | Field | DocType |
feedback decoder,finite-state transition system,network synthesis,craig interpolation,decoder,uninitialized encoder,prior specification,decoder circuitry,codecs,satisfiability solving,decoder synthesis,decoder existence condition,common practice,decoder synthesis automation,effective decoder synthesis,data processing,encoder circuit,decoder existence,encoder specification,feedback,initialized encoders,encoder,initialized encoder,feedback decoder synthesis,decoder circuit,logic synthesis | Logic synthesis,Computer science,Real-time computing,Electronic engineering,Viterbi decoder,Encoder,Soft-decision decoder,Decoding methods,One-hot,Encoding (memory),Adaptive coding | Conference |
ISSN | Citations | PageRank |
0738-100X | 1 | 0.35 |
References | Authors | |
10 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kuan-Hua Tu | 1 | 11 | 1.22 |
| Jie-Hong R. Jiang | 2 | 353 | 37.47 |