权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

論理設計誤りの自動修正とその応用に関する研究

逻辑设计错误自动纠正及其应用研究

基本信息

批准号：
01J09367
负责人：
井上宏
金额：
$ 1.92万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2003
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01J09367/
关键词：
LSI ECO 論理再合成インクリメンタル合成設計誤り LUT

项目摘要

スタンダード・セル方式のLSI設計に関して,レイアウト設計後に発生した設計変更要求に対応するために,より広範な設計誤りを修正する手法を提案した。組合せ回路に含まれる設計誤りを自動的に修正する論理診断を,設計変更要求発生時の回路修正に応用する際には,修正可能な設計誤りの個数(多重度)の向上が望まれる。論理診断では,回路中に含まれる設計誤りの個数は,素子数に対して極めて小さいと想定できる。そのため,従来の論理診断手法では,現実的な処理時間で扱える設計誤りは3,4個であった。一方で,設計変更要求に対しては,修正規模の想定は困難であり,大規模な修正が必要となることも考えられる。そこで,多様な設計変更に対応するため,i)部分回路修正の繰り返しにより修正可能な多重度を向上させる手法ii)付加回路の導入と論理合成に基づき修正規模を向上させる手法という二つの手法を提案した。i)については,回路を部分回路に分割して扱うことで,回路全体に含まれる設計誤りの個数mよりも小さな多重度kによる修正を繰り返し試みることで回路を修正する。一度に扱う素子数を低く抑えることにより,高い多重度への対応を可能とする。最大10個の変更を施した回路例に対する実験の結果,8個の設計誤りを含む回路例の94.3%,10個の設計誤りを含む回路例の75.7%に対して,修正可能であることを確認した。次にii)に関して,設計変更要求を考慮する場合,素子の追加を考慮しなければならない変更には対応できない点が問題となる。そこで,付加回路を導入することで回路を修正する手法を提案する。具体的には,付加回路の挿入箇所と機能を求めた後,付加回路に対する論理合成を行うことで回路を修正する。実験では,ブール再代入と呼ばれる技法を用いて既存回路の信号線を再利用することで,付加回路の規模の削減できることを確認した。

スタンダード・セルWAY のLSI design に关して, レイアウト design and に発生した design The plan is to update the requirements of the design error and the correction of the design error and the method and proposal. The combined circuit includes automatic correction and theoretical diagnosis of design errors, and design corrections are made when the requirements arise. The circuit correction method is based on the actual situation, and the possible design errors are corrected by looking up the number (multiplicity). Theoretical diagnosis is necessary, the number of design errors contained in the circuit is not the same, and the number of prime elements is extremely small and small, and the assumptions are made. This is a theoretical diagnostic method, and the actual processing time is the same as the design error for 3 and 4 cases. On the one hand, it is necessary to change the design, it is difficult to correct the scenario on a large scale, and it is necessary to make large-scale corrections.そこで, 多様なDesign change に対応するため, i) Partial circuit correction の缲りBack しによりCorrection possible なMultiple degree をUp させる Technique ii) The introduction and theoretical synthesis of the added circuit に base づき Correction scale を Up させる tactic という二つの Technique を Proposal した. i) Part of the circuit is divided into parts, and the whole circuit is included in the design error.りのnumbermよりも小さなmultiplicitykによるcorrectionを缲り returnしtestみることでcircuitをcorrectionする. The prime number of degree is low and the number of elements is low, and the multiplicity of high is possible. Maximum of 10 new circuit examples and 8 incorrect design circuit examples are 94. 3%, 75.7% of the 10 design errors included in the circuit example, correction is possible and confirmed. Times にii) に关して, design changes require を consideration する occasions, Motoko の additional を consider しなければならない変change には対応できない点がquestion となる.そこで, add the loop を introduction することで loop を correction する technique を proposal する. Specifically, after adding the function of the added circuit to the desired function, the added circuit can be theoretically synthesized and the circuit can be corrected.実験では,ブールresubstitute the とcall ばれるtechnique and use the signal line of the existing circuitすることですることで、Additional circuit scale reductionできることをconfirmationした.