• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Parallel Logic Design Verification Based on Module Dependence

Research Project

Project/Area Number 18500043
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Computer system/Network
Research InstitutionKyoto Sangyo University

Principal Investigator

HIRAISHI Hiromi  Kyoto Sangyo University, コンピュータ理工学部, 教授 (40093299)

Project Period (FY) 2006 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥3,580,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥480,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2006: ¥1,500,000 (Direct Cost: ¥1,500,000)
Keywords設計検証 / モデル検査 / モジュール分割 / 共有二分決定グラフ / 並列アルゴリズム / 遷移関係
Research Abstract

形式的論理設計検証手法として記号モデル検査を取り上げ、モジュールの依存関係や内部の制御構造に着目して変数順を決めるアルゴリズムを提案し、これにより効率を数倍から数百倍向上出来ることを示した。また、分割した遷移関係を用いるアルゴリズムの中で、値が変化しない変数を早期に削除することにより、数倍から数十倍の効率向上が得られることを示した。さらに、並列論理関数処理として動的並列化法を提案し、その有効性も示した。

Report

(4 results)
  • 2008 Annual Research Report   Final Research Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (4 results)

All 2009 2008 2007

All Presentation (4 results)

  • [Presentation] 記号モデル検査器SMVにおけるBDDの変数順について2009

    • Author(s)
      平石裕実
    • Organizer
      DTC研究会
    • Place of Presentation
      箱根千代田壮
    • Year and Date
      2009-03-29
    • Related Report
      2008 Final Research Report
  • [Presentation] 記号モデル検査器SMVにおけるBDDの変数順について2009

    • Author(s)
      平石 裕実
    • Organizer
      DTC研究会
    • Place of Presentation
      箱根千代田荘
    • Year and Date
      2009-03-29
    • Related Report
      2008 Annual Research Report
  • [Presentation] SATアルゴリズムを利用した記号モデル検査について2008

    • Author(s)
      平石裕実
    • Organizer
      DTC研究会
    • Place of Presentation
      京都ガーデンパレス
    • Year and Date
      2008-03-02
    • Related Report
      2008 Final Research Report 2007 Annual Research Report
  • [Presentation] 記号モデル検査のスケールアップについて2007

    • Author(s)
      平石裕実
    • Organizer
      DTC研究会
    • Place of Presentation
      別府豊泉荘
    • Year and Date
      2007-03-03
    • Related Report
      2008 Final Research Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi