|
[1] S. Krishnaswamy, H. Ren, N. Modi, and R.Puri. DeltaSyn: an efficient logic difference optimizer for ECO synthesis. International Conference on Computer-Aided Design ,2009. [2] S. Huang, W. Lin, P. Huang, and C. R. Huang Match and Replace: A Functional ECO Engine for Multierror Circuit Rectification, IEEE Transactions on Computer-Aided Design of Intergrated Circuits and Sys- tems (TCAD) ,2013. [3] C.-C. Lin, K.-C. Chen and M. Marek-Sadowska. Logic synthesis for engineering change. on CAD of Integrated Circuits and Systems,1999. [4] Y.-S. Yang, S. Sinha, A. G. Veneris, and R. K. Brayton. Automating logic rectification by approximate SPFDs. Asia and South Pacific Design Automation Conference, 2007. [5] A. C. Ling, S. D. Brown, S. Safarpour and Jianwen Zhu. Toward Automated ECOs in FPGAs. FPGA, ,2009. [6] K.-H. Chang, I.L. Markov and V. Bertacco. Fixing design errors with counterexamples and resynthesis. on CAD of Integrated Circuits and Systems ,2008. [7] S.-Y. Huang, K.-C. Chen, and K.-T. Cheng. AutoFix: A hybrid tool for automatic logic rectification. on CAD of Integrated Circuits and Systems,1999. [8] D. Hoffmann and T. Kropf. Efficient design error correction of digital circuits. Proc. International Conference on Computer Design,2000. [9] B.-H. Wu, C.-J. Yang, C.-Y. R. Huang and J.-H. R. Jiang. A Robust Functional ECO Engine by SAT Proof Minimization and Interpolation Techniques. International Conference on Computer-Aided Design. 2010. [10] H. Ren, R. Puri, L. Reddy. S. Krishnaswamy, C.Washburn, J. Earl, J. Keinert. Intuitive ECO Synthesis for High Performance Circuits. of Design, Automation and Test in Europe Conference and Exhibition (DATE) ,2013. [11] G. S. Tseitin. On the complexity of derivation in propositional calculus, in Studies .Constructive Mathematics and Mathematical Logic, Part II, 1968. [12] N. Een and N. Sorensson. MiniSAT. http://minisat.se [13] 2012 CAD Contest at ICCAD. http://cad contest.cs.nctu.edu.tw/CAD-contest-at- ICCAD2012 [14] D. Brand, A. Drumm, S. Kundu, P. Narain. Incremental Synthesis. ICCAD 1994. [15] T. Shinsha, T. Kubo, Y. Sakataya, and K. Ishihara. Incremental Logic Synthesis Through Gate Logic Structure Identification. DAC 1986. [16] C-C. Lin, K-C. Chen, M.Marek-Sadowska, Logic Synthesis for Engineering Change, TCAD 1999. [17] G. Swamy, S. Rajamani, C. Lennard, R. K. Brayton. Minimal Logic Re-synthesis for Engineering Change, ISCAS 1997. [18] A. C. Ling, S. D. Brown, J. Zhu, S. Safarpour. Towards Automated ECOs in FPGAs, FPGA 2009. [19] K-F. Tang, C-A.Wu, P-K. Huang, C-Y. Huang. Interpolation-based incremental ECO synthesis for multi-error logic rectification, DAC 2011. [20] S.-Y. Huang, K.-C. Chen and K.-T. Cheng. Error correction based on verification techniques, DAC 1996. |