発表論文一覧 1993年度(1993年4月-1994年3月)

論文誌・国際会議

  1. Preciseness of Discrete Time Verification
    Shinji Kimura, Shunsuke Tsubota, and Hiromasa Haneda
    IEICE Transactions on Fundamentals, Vol. E76-A, No.10, pp. 1755-1759, Oct. 1993.
  2. Equality Checking of Two Logic Circuits with Different Internal Variables Using BDD's
    Shinji Kimura
    In Proc. of IWLS93, pp. P3c-1-6, May 1993.
  3. BDD の並列処理技術
    木村晋二
    情報処理, Vol.34, No.5, pp. 624-630, May 1993.

研究会

  1. 形式的タイミング検証について
    木村晋二
    電子情報通信学会 第 6 回 CAS 軽井沢ワークショップ, pp. 357-362, April 1993.
  2. 異なる内部変数を持つ論理関数の BDD 上での比較について
    木村晋二
    情報処理学会 DA シンポジウム93, pp. 125-128, Aug. 1993.
  3. 非共有記憶型並列計算機での二分決定グラフの並列処理アルゴリズムについて
    木村晋二, 松本高明, 羽根田博正
    情報処理学会 DA シンポジウム93, pp. 129-132, Aug. 1993.

全国大会

  1. BDD を用いた異なる内部変数を持つ論理回路の等価性判定
    中江達哉, 木村晋二
    情報処理学会第47回全国大会 4H-8, pp. 6-137-138, Oct. 1993.
  2. 分散記憶型並列計算機に対する並列二分決定グラフ構成アルゴリズム
    木村晋二, 永見康一
    情報処理学会第47回全国大会 6H-8, pp. 6-153-154, Oct. 1993.
  3. 超並列アルゴリズムについての考察
    渡邉勝正, 木村晋二
    平成 5 年電気関係学会関西支部連合大会, Nov. 1993.
  4. 定義域限定に基づく論理関数分割を用いた並列論理検証
    永見康一, 木村晋二
    情報処理学会第48回全国大会, pp. 6-71-72, March 1994.