Synthesis of feedback decoders for initialized encoders
暂无分享,去创建一个
[1] Jie-Hong Roland Jiang,et al. Automatic Decoder Synthesis: Methods and Case Studies , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[2] Robert K. Brayton,et al. Efficient implementation of property directed reachability , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
[3] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.
[4] Sikun Li,et al. A Halting Algorithm to Determine the Existence of the Decoder , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[5] Ying Qin,et al. Synthesizing Complementary Circuits Automatically , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[6] Jie-Hong Roland Jiang,et al. To SAT or Not to SAT: Scalable Exploration of Functional Dependency , 2010, IEEE Transactions on Computers.
[7] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[8] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[9] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[10] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.
[11] G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus , 1983 .
[12] Jie-Hong Roland Jiang,et al. Towards completely automatic decoder synthesis , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).