JP2013524303A - 設計空間探索を加速する方法及び装置 - Google Patents
設計空間探索を加速する方法及び装置 Download PDFInfo
- Publication number
- JP2013524303A JP2013524303A JP2012545965A JP2012545965A JP2013524303A JP 2013524303 A JP2013524303 A JP 2013524303A JP 2012545965 A JP2012545965 A JP 2012545965A JP 2012545965 A JP2012545965 A JP 2012545965A JP 2013524303 A JP2013524303 A JP 2013524303A
- Authority
- JP
- Japan
- Prior art keywords
- cluster
- design
- clusters
- search
- attributes
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000013461 design Methods 0.000 title claims abstract description 158
- 238000000034 method Methods 0.000 title claims abstract description 77
- 238000004458 analytical method Methods 0.000 claims abstract description 33
- 230000015572 biosynthetic process Effects 0.000 claims description 41
- 238000003786 synthesis reaction Methods 0.000 claims description 41
- 230000003542 behavioural effect Effects 0.000 claims description 29
- 238000003860 storage Methods 0.000 claims description 27
- 230000008569 process Effects 0.000 claims description 12
- 230000000694 effects Effects 0.000 claims description 10
- 238000007670 refining Methods 0.000 claims description 6
- 238000013507 mapping Methods 0.000 claims description 2
- 230000001172 regenerating effect Effects 0.000 claims description 2
- 230000006870 function Effects 0.000 description 15
- 230000006399 behavior Effects 0.000 description 12
- 238000012545 processing Methods 0.000 description 10
- 238000005457 optimization Methods 0.000 description 7
- 230000001133 acceleration Effects 0.000 description 6
- 239000002131 composite material Substances 0.000 description 5
- 238000010586 diagram Methods 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 238000003491 array Methods 0.000 description 3
- 230000010365 information processing Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000009826 distribution Methods 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 230000002093 peripheral effect Effects 0.000 description 2
- 230000000717 retained effect Effects 0.000 description 2
- 230000002194 synthesizing effect Effects 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 238000000137 annealing Methods 0.000 description 1
- 238000013528 artificial neural network Methods 0.000 description 1
- 238000001311 chemical methods and process Methods 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 238000011960 computer-aided design Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000000605 extraction Methods 0.000 description 1
- 230000002068 genetic effect Effects 0.000 description 1
- 238000003780 insertion Methods 0.000 description 1
- 230000037431 insertion Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 238000010845 search algorithm Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/06—Multi-objective optimisation, e.g. Pareto optimisation using simulated annealing [SA], ant colony algorithms or genetic algorithms [GA]
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
Description
前記動作記述を構文解析して依存関係解析木を構築することと、
前記依存関係解析木に基づきクラスタの独立した組を生成することと、
前記対象デバイスの設計での最終的な回路に対する、異なって合成された各操作の影響を立証するために、各クラスタの合成可能な操作を網羅的に探索することと、
前記クラスタに対する属性を組み合わせて、制約条件のもとで改善された特性を有する設計を生成することと、
を有し、
各クラスタは、前記依存関係解析木の1つ以上のノードの集合であって独立に探索可能である、方法。
前記部分的な結果を記憶し、前記部分的な結果に基づいて各操作に対する属性の最終的な組み合わせを選択することと、
を有する、付記1乃至3のいずれか1項に記載の方法。
前記クラスタの数に基づいて、必要とされる前記プロセッサの数を可変的に調節することと、
をさらに有する、付記1乃至9のいずれか1項に記載の方法。
各プロセッサが当該プロセッサに割り当てられた前記クラスタの前記探索を終えたときに、前記異なるプロセッサからの部分的な結果を中央のプロセッサに移動させることと、
を有する、付記10に記載の方法。
前記対象デバイスの動作記述を格納する第1の記憶装置と、
前記第1の記憶装置から読み出される前記動作記述を構文解析して依存関係解析木を構築し、前記依存関係解析木に基づいてクラスタの独立した組を生成するパース生成器と、
制約条件と属性のライブラリとを格納する第2の記憶装置と、
前記第2の記憶装置に格納された前記ライブラリを参照して各クラスタに対する合成命令を挿入することにより、前記動作記述をインストルメント化するプリプロセッサと、
前記対象デバイスの設計での最終的な回路に対する、異なって合成された各操作の影響を立証するために、各クラスタの合成可能な操作を網羅的に探索し、前記クラスタに対する属性を組み合わせて、前記制約条件のもとで改善された特性を有する設計を生成する高レベル合成器と、
を有し、
各クラスタは、前記依存関係解析木の1つ以上のノードの集合であって独立に探索可能である、装置。
前記制約条件に対する前記生成された設計の分布を認識できる形態で、前記第3の記憶装置に格納された前記生成された設計を表示する表示装置と、
を有する、付記12または13に記載の装置。
Claims (10)
- 対象デバイスの動作記述が与えられたときに前記対象デバイスの設計空間探索を加速する方法であって、
前記動作記述を構文解析して依存関係解析木を構築することと、
前記依存関係解析木に基づきクラスタの独立した組を生成することと、
前記対象デバイスの設計での最終的な回路に対する、異なって合成された各操作の影響を立証するために、各クラスタの合成可能な操作を網羅的に探索することと、
前記クラスタに対する属性を組み合わせて、制約条件のもとで改善された特性を有する設計を生成することと、
を有し、
各クラスタは、前記依存関係解析木の1つ以上のノードの集合であって独立に探索可能である、方法。 - 前記クラスタの独立した組を生成することは、異なって合成することが可能であってそれゆえに前記最終的な回路に影響を与えるであろう探索可能な操作に対する、クラスタの前記独立した組を発生させることを含む、請求項1に記載の方法。
- 前記探索することは、各クラスタに対する属性の組み合わせを発生しつつ前記クラスタの残りに対してはいかなる属性も付与しないことにより、各クラスタを別々に探索することよって実行される、請求項1に記載の方法。
- 生成された回路に対する各属性組み合わせの影響を解析して部分的な結果を得ることと、
前記部分的な結果を記憶し、前記部分的な結果に基づいて各操作に対する属性の最終的な組み合わせを選択することと、
を有する、請求項1に記載の方法。 - パレート最適をもたらすであろう属性のみを組み合わせることによってすべてのクラスタが別々に探索された時点で、パレート最適設計を探すことを有する、請求項1に記載の方法。
- パレート最適設計にのみ対する探索を精緻化することにより、前記探索結果をさらに精緻化することを有する、請求項1に記載の方法。
- それぞれの独立したクラスタの探索処理を複数のプロセッサにマッピングすることと、
前記クラスタの数に基づいて、必要とされる前記プロセッサの数を可変的に調節することと、
をさらに有する、請求項1に記載の方法。 - データ構造を再生成することと、
各プロセッサが当該プロセッサに割り当てられた前記クラスタの前記探索を終えたときに、前記異なるプロセッサからの部分的な結果を中央のプロセッサに移動させることと、
を有する、請求項7に記載の方法。 - 対象デバイスの設計空間を探索する装置であって、
前記対象デバイスの動作記述を格納する第1の記憶装置と、
前記第1の記憶装置から読み出される前記動作記述を構文解析して依存関係解析木を構築し、前記依存関係解析木に基づいてクラスタの独立した組を生成するパース生成器と、
制約条件と属性のライブラリとを格納する第2の記憶装置と、
前記第2の記憶装置に格納された前記ライブラリを参照して各クラスタに対する合成命令を挿入することにより、前記動作記述をインストルメント化するプリプロセッサと、
前記対象デバイスの設計での最終的な回路に対する、異なって合成された各操作の影響を立証するために、各クラスタの合成可能な操作を網羅的に探索し、前記クラスタに対する属性を組み合わせて、前記制約条件のもとで改善された特性を有する設計を生成する高レベル合成器と、
を有し、
各クラスタは、前記依存関係解析木の1つ以上のノードの集合であって独立に探索可能である、装置。 - 前記高レベル合成器は、前記高レベル合成器がパレート最適をもたらすであろう属性のみを組み合わせることによってすべてのクラスタを別々に探索した時点で、パレート最適設計を探す、請求項9に記載の装置。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2010/056792 WO2011125232A1 (en) | 2010-04-09 | 2010-04-09 | Method and apparatus for design space exploration acceleration |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013524303A true JP2013524303A (ja) | 2013-06-17 |
JP5605435B2 JP5605435B2 (ja) | 2014-10-15 |
Family
ID=43414948
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012545965A Expired - Fee Related JP5605435B2 (ja) | 2010-04-09 | 2010-04-09 | 設計空間探索を加速する方法及び装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US20130091482A1 (ja) |
JP (1) | JP5605435B2 (ja) |
WO (1) | WO2011125232A1 (ja) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5842255B2 (ja) * | 2013-12-12 | 2016-01-13 | 国立大学法人東京工業大学 | プログラミング言語による論理回路記述から論理回路を生成するための装置及び方法 |
US9529951B2 (en) | 2014-05-29 | 2016-12-27 | International Business Machines Corporation | Synthesis tuning system for VLSI design optimization |
US9436791B1 (en) * | 2015-03-24 | 2016-09-06 | International Business Machines Corporation | Optimizing placement of circuit resources using a globally accessible placement memory |
JP6266183B2 (ja) * | 2015-08-27 | 2018-01-24 | 三菱電機株式会社 | 回路設計支援装置および回路設計支援プログラム |
WO2017154183A1 (ja) | 2016-03-10 | 2017-09-14 | 三菱電機株式会社 | 高位合成装置、高位合成方法及び高位合成プログラム |
CN107506226B (zh) * | 2017-07-07 | 2020-08-14 | 福建师范大学 | 一种用于hls指令优化的编码方法及终端 |
CN107491310B (zh) * | 2017-08-15 | 2020-08-21 | 北京理工大学 | 一种深空探测自主任务规划约束推理的自动编码方法 |
CN108959521B (zh) * | 2018-06-28 | 2021-07-16 | 中国人民解放军国防科技大学 | 基于n-of-N流模型的不确定轮廓查询并行处理方法及系统 |
US11270051B1 (en) * | 2020-11-09 | 2022-03-08 | Xilinx, Inc. | Model-based design and partitioning for heterogeneous integrated circuits |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7234126B2 (en) * | 2000-08-23 | 2007-06-19 | Interuniversitair Microelektronica Centrum | Task concurrency management design method |
US7725848B2 (en) * | 2005-01-27 | 2010-05-25 | Wolfgang Nebel | Predictable design of low power systems by pre-implementation estimation and optimization |
-
2010
- 2010-04-09 US US13/639,187 patent/US20130091482A1/en not_active Abandoned
- 2010-04-09 JP JP2012545965A patent/JP5605435B2/ja not_active Expired - Fee Related
- 2010-04-09 WO PCT/JP2010/056792 patent/WO2011125232A1/en active Application Filing
Non-Patent Citations (4)
Title |
---|
JPN6013063069; SCHAFER, B. C. et al.: 'Design Space Exploration Acceleration Through Operation Clustering' IEEE TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS Vol. 29, No. 1, 201001, pages 153-157 * |
JPN6013063073; GIVARGIS, T. et al.: 'System-Level Exploration for Pareto-Optimal Configurations in Parameterized System-on-a-Chip (Decemb' IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS Vol. 10, No. 4, 200208, pp. 416-422 * |
JPN6013063075; ASCIA, G. et al.: 'Efficient design space exploration for application specific systems-on-a-chip' JOURNAL OF SYSTEMS ARCHITECTURE No. 53, 200701, pages 733-750, ELSEVIER * |
JPN6013063077; GIVARGIS, T. et al.: 'Platune: A Tuning Framework for System-on-a-Chip Platforms' IEEE TRANSACTIONS ON COMPUTER AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS Vol. 21, No. 11, 200211, pp. 1317-1327 * |
Also Published As
Publication number | Publication date |
---|---|
US20130091482A1 (en) | 2013-04-11 |
JP5605435B2 (ja) | 2014-10-15 |
WO2011125232A1 (en) | 2011-10-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5605435B2 (ja) | 設計空間探索を加速する方法及び装置 | |
Coussy et al. | GAUT: A High-Level Synthesis Tool for DSP Applications: From C Algorithm to RTL Architecture | |
Brayton et al. | Multilevel logic synthesis | |
US7788625B1 (en) | Method and apparatus for precharacterizing systems for use in system level design of integrated circuits | |
US6378123B1 (en) | Method of handling macro components in circuit design synthesis | |
CN1885295B (zh) | 使用逻辑单元建置集成电路 | |
US6421818B1 (en) | Efficient top-down characterization method | |
US6292931B1 (en) | RTL analysis tool | |
US6263483B1 (en) | Method of accessing the generic netlist created by synopsys design compilier | |
US6295636B1 (en) | RTL analysis for improved logic synthesis | |
US20070276644A1 (en) | Conversion of circuit description to a transaction model | |
US10586003B1 (en) | Circuit design using high level synthesis and linked hardware description language libraries | |
EP3740887A2 (en) | Machine-learning circuit optimization using quantized prediction functions | |
WO2005119528A2 (en) | Loop manipulation in a behavioral synthesis tool | |
IE20080800A1 (en) | A system level power evaluation method | |
JP5516596B2 (ja) | 高レベル合成での設計空間探索の方法及び装置 | |
Molina et al. | High-level synthesis hardware design for fpga-based accelerators: Models, methodologies, and frameworks | |
Gubbi et al. | Survey of machine learning for electronic design automation | |
Wang et al. | Efficient and robust high-level synthesis design space exploration through offline micro-kernels pre-characterization | |
Sohrabizadeh et al. | Enabling automated FPGA accelerator optimization using graph neural networks | |
US20150149972A1 (en) | Method, design apparatus, and program product for incremental design space exploration | |
Shetty et al. | Enabling the design of behavioral systems-on-chip | |
Sinha et al. | Abstract state machines as an intermediate representation for high-level synthesis | |
Frangieh | A design assembly technique for FPGA back-end acceleration | |
US11816409B1 (en) | Strongly connected component (SCC) graph representation for interactive analysis of overlapping loops in emulation and prototyping |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20131224 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140224 |
|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20140509 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20140729 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140811 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5605435 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |