Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication

• FUJITA Hirohisa

  Dept. of Information Science and Technology, Osaka University

• HAMADA Masahiko

  Dept. of Information Science and Technology, Osaka University

• TANIMOTO Tadaaki

  Dept. of Information Science and Technology, Osaka University

• NAKATA Akio

  Dept. of Information Science and Technology, Osaka University

• HIGASHINO Teruo

  Dept. of Information Science and Technology, Osaka University

Bibliographic Information

Other Title

• 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法

Journal

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

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

Keywords

• instantaneous communication
• constructive analysis
• combinational loops
• cycle accurate behavior model
• model checking

Details

• CRID: 1573950400106903040
• NII Article ID: 10018748836
• NII Book ID: AN10013323
• Text Lang: ja
• Data Source:
  • CiNii Articles