JP6860515B2 - 回路記述生成装置および回路記述生成方法 - Google Patents
回路記述生成装置および回路記述生成方法 Download PDFInfo
- Publication number
- JP6860515B2 JP6860515B2 JP2018048998A JP2018048998A JP6860515B2 JP 6860515 B2 JP6860515 B2 JP 6860515B2 JP 2018048998 A JP2018048998 A JP 2018048998A JP 2018048998 A JP2018048998 A JP 2018048998A JP 6860515 B2 JP6860515 B2 JP 6860515B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- shift register
- reduction
- register group
- extracted
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims description 13
- 238000000605 extraction Methods 0.000 claims description 31
- 238000012795 verification Methods 0.000 claims description 14
- 239000000284 extract Substances 0.000 claims description 9
- 238000012986 modification Methods 0.000 claims description 2
- 230000004048 modification Effects 0.000 claims description 2
- 238000003860 storage Methods 0.000 description 25
- 238000012790 confirmation Methods 0.000 description 14
- 238000012545 processing Methods 0.000 description 13
- 238000010586 diagram Methods 0.000 description 12
- 239000004065 semiconductor Substances 0.000 description 5
- 238000012937 correction Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 238000012432 intermediate storage Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000001360 synchronised effect Effects 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/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- 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
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C19/00—Digital stores in which the information is moved stepwise, e.g. shift registers
-
- G—PHYSICS
- G11—INFORMATION STORAGE
- G11C—STATIC STORES
- G11C19/00—Digital stores in which the information is moved stepwise, e.g. shift registers
- G11C19/28—Digital stores in which the information is moved stepwise, e.g. shift registers using semiconductor elements
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)
- Tests Of Electronic Circuits (AREA)
Description
図1は、本実施の形態に係わる回路記述生成装置の構成を示すブロック図である。
回路記述生成装置10は、コンピュータ装置であり、入出力装置、記憶装置、CPU(中央処理装置)等からなる。具体的には、回路記述生成装置10は、回路設計者であるユーザからの入力操作、例えばRTL記述にかかる操作を受け付ける、キーボード等の入力装置11と、各種データの表示等を行う画面を有するモニタ等の表示装置12と、CPUとを含み、各種処理を実行するデータ処理装置13と、各種データを記憶する記憶装置14とを含んで構成されている。
削減候補抽出部13aは、RTL読込部13a1と、シフトレジスタ抽出部13a2と、波形生成部13a3と、削減候補出力部13a4とを含む。
削減候補抽出部13aのRTL読込部13a1は、設計対象である半導体装置の回路のRTL記述を記憶装置14の記憶領域部14aから読み込む。
削減回路生成部13bの前段読込部13b1は、削減候補抽出部13aの削減候補出力部13a4が出力した削減候補情報で示されるシフトレジスタ群から、処理対象となる1つのシフトレジスタ群を取り出し、このシフトレジスタ群の前段に接続されるモジュールのRTL記述を記憶装置14の記憶領域部14aから読み込む。
まず、削減候補抽出部13aのRTL読込部13a1は、設計対象である半導体装置の回路のRTL記述を記憶装置14の記憶領域部14aから読み込む(S11)。
図3、図4、図5は、本実施の形態に係わる回路記述生成装置の削減候補抽出部により抽出したシフトレジスタの一例を示す図である。
例えば、シフトレジスタ抽出部13a2は、図3に示す、信号Sig_Aを入力するシフトレジスタ群である第1のシフトレジスタ群、図4に示す、信号Sig_Bを入力するシフトレジスタ群である第2のシフトレジスタ群、図5に示す、信号Sig_Cを入力するシフトレジスタ群である第3のシフトレジスタ群をそれぞれ抽出できる。
図3に示す第1のシフトレジスタ群は2段のシフトレジスタが直列に接続されてなり、図4に示す第2のシフトレジスタ群は3段のシフトレジスタが直列に接続されてなり、図5に示す第3のシフトレジスタ群は5段のシフトレジスタが直列に接続されてなる。
例えば、波形生成部13a3は、図6に示すように、クロック信号に同期した、図3に示す第1のシフトレジスタ群に対する入力信号の値の波形、図4に示す第2のシフトレジスタ群に対する入力信号の値の波形、図5に示す第3のシフトレジスタ群に対する入力信号の値の波形をそれぞれ生成できる。
削減候補出力部13a4は、波形生成部13a3により生成した波形で示される、入力信号の値が変化するまでのサイクル数を演算し、各シフトレジスタ群に対応する波形ごとに、所定時間内における最小のサイクル数を求める。
削減候補出力部13a4は、図3に示した第1のシフトレジスタ群の情報を、このシフトレジスタ群について生成した波形にかかる最小サイクル数「7」とともに、第1の削減候補情報として出力する。また、削減候補出力部13a4は、図5に示した第3のシフトレジスタ群の情報を、このシフトレジスタ群について生成した波形にかかる最小サイクル数「4」とともに、第2の削減候補情報として出力する。
まず、削減回路生成部13bの前段読込部13b1は、削減候補抽出部13aの削減候補出力部13a4が出力した削減候補情報で示されるシフトレジスタ群から、処理対象となる1つのシフトレジスタ群を取り出し、このシフトレジスタ群の前段に接続されるモジュールのRTL記述を記憶装置14の記憶領域部14aから読み込む(S21)。
等価性検証部13b4は、削減RTL生成部13b3による削減前の回路における出力と、削減後の回路における出力との等価性の有無を検証する(S24)。
例えば、図8に示すように、削減前の回路が、図5に示す第3のシフトレジスタ群を含む回路であるとき、この削減前の回路では第3のシフトレジスタ群に含まれるシフトレジスタの段数が5であるのに対し、上記のように、第3のシフトレジスタ群における3段のシフトレジスタを削減することで、図9に示すように、削減後の回路では該当のシフトレジスタ群に含まれるシフトレジスタの段数は2である。
また、この記憶媒体としては、プログラムを記憶でき、かつコンピュータが読み取り可能な記憶媒体であれば、その記憶形式は何れの形態であっても良い。
さらに、実施の形態における記憶媒体は、コンピュータと独立した媒体に限らず、LANやインターネット等により伝送されたプログラムをダウンロードして記憶または一時記憶した記憶媒体も含まれる。
また、実施の形態におけるコンピュータとは、パソコンに限らず、情報処理機器に含まれる演算処理装置、マイコン等も含み、プログラムによって本発明の機能を実現することが可能な機器、装置を総称している。
Claims (5)
- シフトレジスタを含む、設計対象の回路を記述する回路情報から、同じ信号を入力する複数段のシフトレジスタでなる複数のシフトレジスタ群を抽出し、前記抽出した複数のシフトレジスタ群に対する入力信号の値のパターンを示す検証ベクタに基づいて、前記抽出した複数のシフトレジスタ群のそれぞれに対する入力信号の波形を生成し、所定期間内における前記生成した波形で示される入力信号の値が変化するまでのサイクル数の最小値に基づいて、前記複数のシフトレジスタ群のうち、シフトレジスタを削減する候補であるシフトレジスタ群を抽出する削減候補抽出部と、
前記削減候補抽出部により抽出したシフトレジスタ群に含まれるシフトレジスタのうち前記最小値に基づいて決定した段数のシフトレジスタを削減した回路を記述する回路情報を生成し、前記生成した回路情報で示される回路と、前記決定した段数のシフトレジスタを削減する前の回路との間の信号出力の等価性の有無を検証し、前記等価性があることが検証されたときに、前記決定した段数のシフトレジスタを削減した回路を記述する回路情報を修正後の回路情報として生成する削減回路生成部と
を備える、回路記述生成装置。 - 前記削減回路生成部は、
前記設計対象の回路を記述する回路情報から、前記削減候補抽出部により抽出したシフトレジスタ群の前段の回路を抽出し、前記前段の回路に対する入力信号の値が変化するまでのサイクル数が前記最小値である条件で前記前段の回路が正常に動作するか否かを確認し、
前記前段の回路が正常に動作することが確認されたときに、前記削減候補抽出部により抽出したシフトレジスタ群に含まれるシフトレジスタのうち前記最小値に基づいて決定した段数のシフトレジスタを削減した回路を記述する回路情報を生成する、
請求項1に記載の回路記述生成装置。 - 前記削減回路生成部は、
前記等価性がないことが検証されたときに、前記削減候補抽出部により抽出したシフトレジスタ群に含まれるシフトレジスタのうち前記最小値に基づいて決定した段数より少ない段数のシフトレジスタを削減した回路を記述する回路情報を生成し、
この生成した回路情報で示される回路と、前記決定した段数のシフトレジスタを削減する前の回路との間の出力の等価性の有無を検証する、
請求項1に記載の回路記述生成装置。 - 前記削減候補抽出部は、
前記抽出した複数のシフトレジスタ群のうち、前記生成した波形で示される入力信号の値が変化するまでのサイクル数の最小値が1であるシフトレジスタ群を除くシフトレジスタ群を、シフトレジスタを削減する候補であるシフトレジスタ群として抽出する、
請求項1に記載の回路記述生成装置。 - コンピュータ装置により実現される回路記述生成方法であって、
シフトレジスタを含む、設計対象の回路を記述する回路情報から、同じ信号を入力する複数段のシフトレジスタでなる複数のシフトレジスタ群を抽出し、前記抽出した複数のシフトレジスタ群に対する入力信号の値のパターンを示す検証ベクタに基づいて、前記抽出した複数のシフトレジスタ群のそれぞれに対する入力信号の波形を生成し、所定期間内における前記生成した波形で示される入力信号の値が変化するまでのサイクル数の最小値に基づいて、前記複数のシフトレジスタ群のうち、シフトレジスタを削減する候補であるシフトレジスタ群を抽出する処理と、
前記抽出したシフトレジスタ群に含まれるシフトレジスタのうち前記最小値に基づいて決定した段数のシフトレジスタを削減した回路を記述する回路情報を生成し、前記生成した回路情報で示される回路と、前記決定した段数のシフトレジスタを削減する前の回路との間の信号出力の等価性の有無を検証し、前記等価性があることが検証されたときに、前記決定した段数のシフトレジスタを削減した回路を記述する回路情報を修正後の回路情報として生成する処理と、
を実行する回路記述生成方法。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018048998A JP6860515B2 (ja) | 2018-03-16 | 2018-03-16 | 回路記述生成装置および回路記述生成方法 |
US16/125,296 US10515171B2 (en) | 2018-03-16 | 2018-09-07 | Circuit description generation apparatus and circuit description generation method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2018048998A JP6860515B2 (ja) | 2018-03-16 | 2018-03-16 | 回路記述生成装置および回路記述生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2019160127A JP2019160127A (ja) | 2019-09-19 |
JP6860515B2 true JP6860515B2 (ja) | 2021-04-14 |
Family
ID=67904050
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018048998A Active JP6860515B2 (ja) | 2018-03-16 | 2018-03-16 | 回路記述生成装置および回路記述生成方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US10515171B2 (ja) |
JP (1) | JP6860515B2 (ja) |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
TW557574B (en) | 1997-07-03 | 2003-10-11 | Matsushita Electric Ind Co Ltd | Functional module model, pipelined circuit synthesis and pipelined circuit device |
US7149996B1 (en) * | 2003-07-11 | 2006-12-12 | Xilinx, Inc. | Reconfigurable multi-stage crossbar |
US7126381B1 (en) * | 2004-02-14 | 2006-10-24 | Herman Schmit | VPA interconnect circuit |
JP4580827B2 (ja) | 2005-06-17 | 2010-11-17 | 株式会社東芝 | 動作合成装置及び自動動作合成方法 |
JP2007323606A (ja) | 2006-06-05 | 2007-12-13 | Toshiba Corp | 動作合成装置 |
US8141024B2 (en) * | 2008-09-04 | 2012-03-20 | Synopsys, Inc. | Temporally-assisted resource sharing in electronic systems |
CA2782142A1 (en) * | 2009-12-01 | 2011-06-09 | Queen's University At Kingston | Method and system for a run-time reconfigurable computer architecture |
JP3177218U (ja) | 2012-05-11 | 2012-07-26 | 株式会社タイガークラウン | 調理用トング |
-
2018
- 2018-03-16 JP JP2018048998A patent/JP6860515B2/ja active Active
- 2018-09-07 US US16/125,296 patent/US10515171B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US20190286778A1 (en) | 2019-09-19 |
US10515171B2 (en) | 2019-12-24 |
JP2019160127A (ja) | 2019-09-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2020520499A (ja) | ブロックチェーンにおけるスナップショットを管理する方法、コンピュータ・プログラム、スナップショット・ノード、オーディタ・ノードおよびシステム | |
JP2007034584A (ja) | 高位合成装置、自動高位合成方法、高位合成プログラム及びゲートネットリスト自動検証方法 | |
JP6309795B2 (ja) | 情報処理装置、情報処理方法およびプログラム | |
JP6860515B2 (ja) | 回路記述生成装置および回路記述生成方法 | |
JP5301411B2 (ja) | 類似性算出装置、類似性算出方法、類似性算出プログラム、及び類似性解析装置 | |
JP2018124901A (ja) | プログラム分析装置、プログラム分析方法及びプログラム分析プログラム | |
JP5025542B2 (ja) | プロパティ抽出装置及び方法 | |
JP2008129914A (ja) | ソフトウェア検証用モデル生成装置、及びソフトウェア検証用モデル生成方法 | |
JP6364332B2 (ja) | 仕様生成方法、仕様生成装置、及びプログラム | |
JP2018136640A (ja) | 検出方法、検出装置および検出プログラム | |
JP6173571B2 (ja) | 回路設計装置および回路設計プログラム | |
JP6242170B2 (ja) | 回路設計支援装置及びプログラム | |
KR101559651B1 (ko) | 동적 분석 방법 및 장치 | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP5871298B2 (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
JP4702357B2 (ja) | 動作レベル記述とレジスタ転送レベル記述間の等価性検証方法及び装置並びにプログラム | |
CN111080433A (zh) | 一种信用风险评估方法与装置 | |
WO2022070422A1 (ja) | 計算機システム及び文字認識方法 | |
JP5367627B2 (ja) | データ処理装置及びプログラム | |
JP6497271B2 (ja) | テストデータ生成装置、方法、及びプログラム | |
JP5262678B2 (ja) | 動作合成システム、動作合成方法、及び動作合成用プログラム | |
JP6012414B2 (ja) | 情報処理装置及び情報処理方法及びプログラム | |
JP2023157310A (ja) | モデル検査装置、及びモデル検査方法 | |
JP2012118835A (ja) | 動作合成システム、動作合成方法、動作合成用プログラム及び半導体装置 | |
JP6545406B2 (ja) | 高位合成装置、高位合成方法および高位合成プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200109 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20210204 |
|
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: 20210224 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20210326 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6860515 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |