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

ZDDによる集合表現と含意操作を融合した論理診断手法とECOコスト削減への応用

Research Project

Project/Area Number 21K11808
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 60040:Computer system-related
Research InstitutionKobe University

Principal Investigator

沼 昌宏  神戸大学, 工学研究科, 教授 (60188787)

Co-Investigator(Kenkyū-buntansha) 黒木 修隆  神戸大学, 工学研究科, 准教授 (90273763)
Project Period (FY) 2021-04-01 – 2026-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2025: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2021: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywords設計変更要求 / 論理診断 / 論理再合成 / LSI設計支援技術
Outline of Research at the Start

大規模化・複雑化するLSIの設計変更要求(ECO: Engineering Change Orders)に対応するべく,ZDD(ゼロサプレス型二分決定グラフ)による修正箇所の非明示的集合表現と含意操作を融合した論理診断手法を新たに考案・実現することによって,大規模回路に対して発生する高多重度ECOに対応可能とし,設計変更に要するコストと時間をともに半減する。ECO発生前の初期回路においても再構成可能(RECON)セルを活用することで,ECO発生後の論理再合成におけるセル割当ての自由度を高め,柔軟性の高い論理診断・再合成システムを構築する。

Outline of Annual Research Achievements

2021年度に提案・実現した修正箇所シミュレーションに関して,大規模回路を対象とした組合せ箇所の抽出・絞り込みに要する処理時間短縮を目的として,不一致部分回路に含まれるLUTに対応した修正箇所変数のみを含む限定的な多重度制限関数を定義域指定関数として用いることで,処理を効率化する手法を提案した。さらに,誤り可能性の指標:EPIを用いた誤り追跡入力全体の評価に基づいて適用順序を入れ替える,誤り追跡入力適用順序変更手法を提案した。提案した手法をプログラムとして実装し,4または5箇所の誤りをランダムに挿入したベンチマーク回路を用いて実験を行った結果,処理時間を最大 93.4%,平均48.4% 短縮する効果を確認した。
一方,論理再合成手法に関して,メタル配線によって論理機能を再構成可能なRECONセルをスペアセルとして予めチップに埋め込んでおき,設計変更要求(ECO)への対応を実現してきた。トランジスタ数の異なる2T/4T/6T-RECONセルの3種類が適用されるが,従来手法では多入力のRECONセルの配置数の不足によって,スペアセル割当てに失敗する場合がある点に課題があった。そこで,設計段階でメタル修正に必要な2T/4T/6T-RECONセル数の比率を予測し,各セルの配置数を決定する手法を提案した。修正方法として発生し得る全パターンについて,設計段階であらかじめテクノロジ・マッピングを行うことで,修正に必要な平均RECONセル数を算出する。提案手法を計算機上に実装して初期回路および論理再合成後の回路に対して2種類の従来手法と比較する評価実験を行った結果,初期回路のslackについてはそれぞれ平均7~25% 減少する一方で,スペアセル割当て成功率についてはそれぞれ平均1.3~2.0 pt向上し,特に回路規模に対して修正の規模が大きい場合に提案手法が有効であることを確認した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

上記「研究実績の概要」に述べたように,交付申請書に記載した「研究実施計画」に従って,おおむね順調に進展している。

Strategy for Future Research Activity

上記「研究実績の概要」に述べたように,交付申請書に記載した「研究実施計画」において当該年度の実施が見込まれていた部分について,ほぼ達成したと考えられ,今後も研究実施計画に従って着実に研究を進める予定である。

Report

(3 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • 2021 Research-status Report
  • Research Products

    (7 results)

All 2024 2023 2022 2021

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results) Presentation (6 results) (of which Int'l Joint Research: 3 results)

  • [Journal Article] Technology Remapping Approach Using Multi-Gate Reconfigurable Cells for Post-Mask Functional ECO2024

    • Author(s)
      NISHIGUCHI Tomohiro、KUROKI Nobutaka、NUMA Masahiro
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E107.A Issue: 3 Pages: 592-599

    • DOI

      10.1587/transfun.2023VLP0015

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2024-03-01
    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] An error diagnosis technique based on location variable simulation employing dedicated multiplicity-limiter function and ordering for input patterns2024

    • Author(s)
      H. Tsuyama, N. Kuroki, and M. Numa
    • Organizer
      The 25th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2024)
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] 多ゲートRECONセルを用いた論理再合成手法2023

    • Author(s)
      西口友浩, 黒木修隆, 沼 昌宏
    • Organizer
      第22回情報科学技術フォーラム (FIT2023)
    • Related Report
      2023 Research-status Report
  • [Presentation] On technology remapping approach using multi-gate functionality of reconfigurable cells for post-mask ECO2022

    • Author(s)
      T. Nishiguchi, N. Kuroki, and M. Numa
    • Organizer
      The 24th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2022)
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] An error diagnosis technique based on location variable simulation employing implicit representation of error location sets2022

    • Author(s)
      H. Tsuyama, A. Masamori, N. Kuroki, and M. Numa
    • Organizer
      The 24th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2022)
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] 非明示的集合表現に基づく修正箇所シミュレーションによる論理診断処理の効率化2022

    • Author(s)
      津山勲貴,黒木修隆,沼 昌宏
    • Organizer
      第21回情報科学技術フォーラム (FIT2022)
    • Related Report
      2022 Research-status Report
  • [Presentation] 論理診断における適応的な誤り追跡入力の適用順序変更に基づく6値シミュレーション処理の効率化2021

    • Author(s)
      正森明生,黒木修隆,沼 昌宏
    • Organizer
      第20回情報科学技術フォーラム
    • Related Report
      2021 Research-status Report

URL: 

Published: 2021-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi