即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法  [in Japanese] Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication  [in Japanese]

Search this Article

Author(s)

Abstract

ハードウェアには配線遅延があるためクロック周波数の向上に限界がある.そこで,実行時間削減を目的としてクロックサイクルを消費しない即時通信がしばしば用いられる.そのような通信を行うサイクル精度動作記述には,組み合わせ回路としての閉路が発生することに起因する値の発振や発散の可能性といった難しさがある.そこで,本論文ではwireによる即時通信を行うサイクル精度動作記述モジュール群に発振や発散の問題が生じるか否か等を,モデル検査によって検証する手法を提案する.実験では上述した問題の発生を含んだ簡単なテストケース群に対して提案手法を適用し,その有効性を確認した.

Wiring delay imposes a limitation on increase of clock frequency. Therefore, instantaneous communications consuming no clock cycles are sometimes used. Cycle accurate behavior models allowing such communications have a problem of oscillation and divergence in variable values caused by combinational loops. In this paper, we propose a model checking method of cycle accurate behavior models including instantaneous communications of wire. Proposed method can detect the occurrence of oscillation, divergence and other problems like access conflict. In the experiments, we confirmed the effectiveness of our method using several simple test cases.

Journal

  • 情報処理学会研究報告. SLDM, [システムLSI設計技術]

    情報処理学会研究報告. SLDM, [システムLSI設計技術] 128, 79-84, 2007-01-17

    Information Processing Society of Japan (IPSJ)

References:  12

Codes

  • NII Article ID (NAID)
    110006201453
  • NII NACSIS-CAT ID (NCID)
    AA11451459
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09196072
  • NDL Article ID
    8641887
  • NDL Call No.
    Z14-1121
  • Data Source
    CJP  NDL  NII-ELS 
Page Top