二分決定グラフに基づく組合せ論理回路の合成法に関する研究

基于二元决策图的组合逻辑电路综合方法研究

• 批准号: 06780264
• 负责人: 石浦 菜岐佐
• 金额: $ 0.45万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780264/
• 关键词: 二分決定グラフ; 論理回路; 論理合成; 論理関数

(1)論理合成アルゴリズムの評価:3通りのアルゴリズムについて,論理合成プログラムの試作を行ない,実行速度,合成される回路の規模,遅延などの評価を,従来法に基づく合成ツールMISとの比較により行なった.MISでは16ビット以上の加算回路を直接合成することができなかったのに対し,本手法では16,32,64ビットについても合成を行なうことができた.加算回路の段数に関しては,本手法では入力数nに対してlogn段で合成できていることが実験から確かめられた.MCNCベンチマークに対する実験では,本手法により合成される回路の方が段数は少ないが,回路規模に関してはMISの方が優れており,この点で課題が残ることがわかった.BDDの構造から直接回路を合成するため,BDDを与えてからの実行時間ははいずれの方法でも大変短く,10〜20入力の回路でも合成は1秒程度で終了することが確かめられた.(2)合成法に関する理論的考察:与えられた論理関数のBDD表現の大きさと合成される回路の素子数,遅延の関係を理論的に考察した.排他的論理和,加算関数など,BDDのサイズが入力数の線形となるものに関しては,合成される回路の段数はO(log n)となること,対称関数に関してはO(log^2 n)となることが分かった.(3)BDDに基づく論理合成アルゴリズムの研究:本合成法で素子数が大きくなる問題を解決するべくアルゴリズムの見直しを行なった結果,本質的な問題は,論理関数f のBDDが与えられた時,これをf =f _1・f _2と分解するf _1,f _2で,BDDのサイズが小さいものを求めることであるということが判明した.この問題に対していくつかのアルゴリズムを考案したが,評価実験までを行なうことはできなかった.なお,本研究の基本アイデアとアルゴリズムをまとめた下記論文は,平成6年5月に,「電子情報通信学会平成5年度論文賞」を受賞した.N.Ishiura : "Synthesis of Multilevel Logic Circuits from Binary Decision Diagrams,"IEICE Trans. Information and Systems,vol.E76-D,no.9,pp.1085-1092 (Sept.1993)

(1) logical synthesis ア ル ゴ リ ズ ム の review 価 : 3 tong り の ア ル ゴ リ ズ ム に つ い て, logical synthesis プ ロ グ ラ ム の attempt を line な い, be line speed, synthetic さ れ の る circuit scale, 遅 delay な ど の review 価 を, 従 to subgrade に づ く synthetic ツ ー ル MIS と の is に よ り line な っ た. MIS で は 16 ビ ッ ト above is の loop を straight By synthetic す る こ と が で き な か っ た の に し polices, this technique で は 16,32,64 ビ ッ ト に つ い て も synthetic line を な う こ と が で き た. Add loop の に section number masato し て は, this technique で は number n into force に し seaborne て logn segment で synthetic で き て い る こ と が be 験 か ら か indeed め ら れ た. MCNC ベ ン チ マ ー ク に す seaborne る be 験 で は, this technique に よ り synthetic さ れ る loop の が は section number to な less い が, circuit size に masato し て は MIS の party が optimal れ て お り, こ の points で subject が residual る こ と が わ か っ た. BDD の tectonic か ら を direct circuit synthesis す る た め, BDD を and え て か ら の line be time は は い ず れ の way で も - short く, 10 ~ 20 の into force loop で も synthetic は "at the end of 1 second degree で す る こ と が か indeed め ら れ た. (2) synthesis に masato す る theory research: with え ら れ た logical The <s:1> BDD shows the <s:1> large さと さと synthesis される circuit of the number of <s:1> particles,遅 extends the に investigation of the を theory of <s:1> relations, and た た. Is exclusive logical and, in a number of masato な ど, BDD の サ イ ズ が number into force の linear と な る も の に masato し て は, synthetic さ れ る loop の は section number O (log n) と な る こ と, says masato for seaborne に masato し て は O (log ^ 2 N) と な る こ と が points か っ た. (3) BDD に base づ く logical synthesis ア ル ゴ リ ズ ム の research: this synthesis で が element child number big き く な る を solve す る べ く ア ル ゴ リ ズ ム の see し straight line を な っ た as a result, the nature of は な problem, logical masato number f の BDD が and え ら れ た, こ れ を _1 f. f = f _2と decomposes するf _1,f _2 で, BDD の サ イ ズ が small さ い も の を o め る こ と で あ る と い う こ と が.at し た. こ の problem に し seaborne て い く つ か の ア ル ゴ リ ズ ム を test case し た が, review 価 be 験 ま で を line な う こ と は で き な か っ た. な お, this study basic ア の イ デ ア と ア ル ゴ リ ズ ム を ま と め た under paper は, pp.47-53 six years in May Youdaoplaceholder0, winner of the "Electronic Information and Communication Society Heisei 5th Annual Paper Award" を た.N. ishiura: "Synthesis of Multilevel Logic Circuits from Binary Decision Diagrams,"IEICE Trans. Information and Systems,vol.E76-D,no.9,pp.1085-1092 (Sept.1993)

项目成果

Noriyuki Takahashi: "Fault simulation for multiple faults by Boolean function manipulation" IEEE Trans. Computer-Aided Design. CAD-13. 531-535 (1994)

Noriyuki Takahashi：“通过布尔函数操作对多个故障进行故障模拟”IEEE Trans。

Akihisa Yamada: "Datapath Scheduling for behavioral description with conditional branches" IEICE(電子情報通信学会)Trans. Fundamentals. E77-A. 1999-2009 (1994)

Akihisa Yamada：“带有条件分支的行为描述的数据路径调度”IEICE（电子、信息和通信工程师协会）基础知识，1999-2009 年。

Akihisa Yamada: "Datapath Scheduling for conditional resource sharing" Proc.IEEE Asia-Pacific conf. on Circuits and Systems. 169-174 (1994)

Akihisa Yamada：“用于条件资源共享的数据路径调度”Proc.IEEE 亚太会议。