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

Search this Article

Author(s)

Journal

  • 電子情報通信学会技術研究報告. VLD, VLSI設計技術

    電子情報通信学会技術研究報告. VLD, VLSI設計技術 106(454), 25-30, 2007-01-10

References:  12

Codes

  • NII Article ID (NAID)
    10018748836
  • NII NACSIS-CAT ID (NCID)
    AN10013323
  • Text Lang
    JPN
  • Article Type
    ART
  • Data Source
    CJP 
Page Top