List of Publications

2005 (H17: 2005.04 - 2006.03)

• Transactions, Journals, and International Conference
  1. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya,
     "Transition-Based Coverage Estimation for Symbolic Model Checking,"
     Proceeding of ASP-DAC2006, pp.1-6, Jan. 2006.
  2. Youhua Shi, Nozomu Togawa, Shinji Kimura, Masao Yanagisawa, Tatsuo Ohtsuki
     "FCSCAN: An Efficient Multiscan-based Test Compression Technique for Test Cost Reduction,"
     Proceeding of ASP-DAC2006, pp.653-658, Jan. 2006.
  3. Shinji Kimura
     "Invited Talk: State Traversal Coverage Metric in Formal Design Verification,"
     Workshop on Semiconductor Design at National Taiwan University, Dec. 10, 2005.
  4. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya,
     "Transition Traversal Coverage Estimation for Symbolic Model Checking,"
     Proceeding of the 6th International Conference on ASIC (ASICON2005), pp.850-853, Oct. 2005.
  5. Chengjie Zang, Shigeki Imai, and Shinji Kimura,
     "Duplicated Register File Design for Embedded Simultaneous Multithreading Microprocessor,"
     Proceedings of 6th International Conference on ASIC (ASICON), pp. 160-163, Oct. 2005.
  6. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya,
     "Functional State Coverage Estimation for CTL Model Checking,"
     Proceeding of the 20th International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC2005), pp.1-2, July 2005.
  7. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya,
     "Extended Abstract: Rransition Traversal Coverage Estimation for Symbolic Model Checking,"
     Proceeding of the 3rd ACM&IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE2005), pp.259-260, July 2005.
• Research Meetings of IEICE or IEICE
  1. 鄭、木村, "高位検証における等価論理式への変換手法について," 信学技法、Vol. 105, No. 644, pp.79-84, March, 2005.
  2. 阿久津日出実、木村晋二 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア 信学技法、Vol. 105, No. 645, pp. 43-48, March, 2005.
  3. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya, "Structural Coverage of Traversed Transitions for Symbolic Model Checking," IEICE Technical Report(デザインガイア2005) Vol.105, No.443, VLD2005-87/ICD2005-182, pp.65-70, Nov. 2005.
  4. 土井伸洋, 堀山貴史, 中西正樹, 木村晋二, "ビット長に制約がある場合の実数演算の固定小数点演算化," DAシンポジウム2005論文集, pp.49-54, 2005年7月.

Pulbications at 2004 (H16)