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

Development of Design Automation Techniques for Integrated Circuits Using Quantum Annealing

Research Project

Project/Area Number 23K11036
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

小平 行秀  会津大学, コンピュータ理工学部, 上級准教授 (00549298)

Project Period (FY) 2023-04-01 – 2026-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2025: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2024: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2023: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords集積回路の設計自動化 / レイアウト設計 / マスク設計 / 量子アニーリング / イジングマシン / 集積回路設計 / 自動設計技術
Outline of Research at the Start

本研究では,集積回路設計のレイアウト設計とマスク設計の工程において,2値の2次計画問題を高速に解く量子アニーリング計算機(Quantum Annealing, QA)を用いて,性能が良い設計を短時間で得る自動設計技術を開発する.現在利用可能なQAでは,QAの実現方法に応じて,求解可能な2値の2次計画問題の特徴が異なる.そのため,解く問題に適したQAを選択する方法と,使用するQAに適した2値の2次計画問題への定式化方法を検討することが必要である.本研究により,QAを活用する際の困難さを低減することで,QA分野の進展を図るとともに,QAにより集積回路の自動設計技術の進展に寄与することを目指す.

Outline of Annual Research Achievements

本研究では,集積回路設計の中の特にレイアウト設計とマスク設計の工程において,2値の2次計画問題を高速に解く量子アニーリング計算機やそれを古典コンピュータで模擬的に実現するイジングマシンを用いて,面積,消費電力,歩留まりなどの性能の良い設計を短時間で得る自動設計技術を開発することが目的である.
本年度は,マスク設計工程において,イジングマシンを用いたマスク最適化手法に取り組んだ.マスク最適化問題では,2次計画問題における2値変数の多さと,2値変数の値を決定する際に影響を及ぼしあう2値変数間の相互作用の多さから,量子アニーリング計算機よりGPUを用いたイジングマシンの方が適していると考察した.そこで,イジングマシンを用いて,マスク最適化問題を2値の2次計画問題に定式化し,イジングマシンを繰り返し適用することで,既存の手法よりウェハ上に形成されるパタン形状の忠実性が良く,プロセスばらつき耐性が高いマスク形状を得る手法を開発した.
また本年度は,量子アニーリング計算機やイジングマシンで用いられるペナルティ関数法において,適切なペナルティ重みを決定する手法を検討した.量子アニーリング計算機やイジングマシンでは,問題の制約を直接扱うことができない.そのため,制約を満たすときのみ最小値を取るペナルティ関数とペナルティ関数に対するペナルティ重みによって制約を目的関数に組み込むペナルティ関数法と呼ばれる手法が用いられる.このとき,ペナルティ重みを適切に与えなければ制約を満たす解が得られない.そこで,イジングマシンにおける最適化のループ回数や各制約の違反状況によってペナルティ重みを調整する手法を開発した.

Current Status of Research Progress
Current Status of Research Progress

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

Reason

本年度は,イジングマシンを用いたマスク最適化手法に取り組んだ.マスク最適化は,集積回路設計における他の問題と同様,2値変数が多く,2値変数間の相互作用も多いという特徴がある.本年度の大規模な問題に対する取組結果は,今後扱う他の問題へ応用可能であると考えている.
また,本年度は,ペナルティ関数法において,適切なペナルティ重みを決定する手法を検討した.集積回路設計における多くの問題は制約が課されるため,ペナルティ関数法を適用する必要がある.本年度のペナルティ重みの決定方法に関する検討結果は,今後扱う他の問題へ応用可能であると考えている.

Strategy for Future Research Activity

本年度に検討した手法により,制約を含む大規模な問題に対して量子アニーリング計算機やイジングマシンを適用することが可能となった.今後は,当初の計画通りに集積回路設計に関連するより実用的な問題への適用を検討する.

Report

(1 results)
  • 2023 Research-status Report
  • Research Products

    (2 results)

All 2024 2023

All Presentation (2 results) (of which Int'l Joint Research: 1 results)

  • [Presentation] イジングマシンにおける制約に対するぺナルティ重み自動調整手法2024

    • Author(s)
      中山晴貴,小平行秀
    • Organizer
      電子情報通信学会VLD研究会
    • Related Report
      2023 Research-status Report
  • [Presentation] A formulation of mask optimization into QUBO model for Ising machines2023

    • Author(s)
      Yukihide KOHIRA, Haruki NAKAYAMA, Naoki NONAKA, Tomomi MATSUI, Atsushi TAKAHASHI, Chikaaki KODAMA
    • Organizer
      SPIE 12751, Photomask Technology 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research

URL: 

Published: 2023-04-13   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi