1. [1] D. Brand, A. Drumm, S. Kundu, and P. Narain, “Incremental synthesis, ” Proc. ICCAD-94, pp.14-18, California, USA, Nov. 1994.
2. [2] H. Inoue, T. Iwasaki, T. Sugane, M. Numa, and K. Yamamoto, “Application of error diagnosis technique to incremental synthesis, ” IEICE Trans. Fundamentals, vol.E86-A, no.12, pp.3214-3217, Dec. 2003.
3. [3] M. Tomita, T. Yamamoto, F. Sumikawa, and K. Hirano, “Rectification of multiple logic design errors in multiple output circuits, ” Proc. 31st DAC, pp.212-217, California, USA, June 1994.
4. [4] M. Numa, H. Inoue, T. Kaimi, N. Kuroki, and K. Yamamoto, “An LUT-based multiple error diagnosis technique using symbolic simulation with truth variables, ” J. IPSJ, vol.43, no.5, pp.1252-1259, May 2002.
5. [5] T. Sugane, T. Iida, H. Inoue, N. Kuroki, M. Numa, and K. Yamamoto, “An LUT-based error diagnosis technique improved in multiplicity of rectifiable errors, ” Proc. MWSCAS2004, vol.I, pp.525-528, Hiroshima, Japan, July 2004.