即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法  [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

  • IEICE technical report

    IEICE technical report 106(458), 25-30, 2007-01-11

    The Institute of Electronics, Information and Communication Engineers

References:  12

Codes

  • NII Article ID (NAID)
    110006204792
  • NII NACSIS-CAT ID (NCID)
    AA12046591
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    8638769
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top