|
[1] S. C. Chang and J. C. Rau, “A Timing-Driven Pseudo-Exhaustive Testing of VLSI Circuits,” IEEE International Symposium on Circuits and Systems, May, 2000. [2] P. Y. Chung, Y. M. Wang, and I. N., Hajj, “Logic Design Error Diagnosis and Correction,” IEEE Transactions on Very Large Scale Integration (VLSI) System., September 1994. [3] D. Brand, A. Drumm, S. Kundu, and P. Narrain, “Incremental Synthesis,” in Proc. Int. Conf. Computer-Aided Design, Nov. 1994, pp. 14-18. [4] C.-C Lin, K.-C. Chen, and M. Marek-Sadowska, “Logic Synthesis for Engineering Change,” IEEE Transactions on Computer-Aided Design of Integrated Circuits And Systems, March 1999. [5] S.-Y Huang, K.-C Chen, and K.-T Cheng, “AutoFix: A Hybrid Tool for Automatic Logic Rectification,” IEEE Transactions on Computer-Aided Design of Integrated Circuits And Systems, September 1999. [6] I. Pomeranz, S. M. Reddy, “On Error Correction in Macro-Based Circuits,” IEEE/ACM Design Automation Conference, pp. 568-575, 1994. [7] R. Srinivasan, S. K. Gupta and M. A. Breuer, “An Efficient partitioning Strategy for Pseudo-Exhaustive Testing,” Proc. Design Automation Conf., 1993, pp.242-248. [8] Y. Watanabe and R. K. Brayton, “Incremental Synthesis for Engineering Changes,” in Proc. Int. Conf. Computer-Aided Design, Nov. 1991, pp. 130-133. [9] eASIC: the Configurable Logic Company www.easic.com
|