JP4528704B2 - 非同期回路設計装置及びコンピュータプログラム - Google Patents
非同期回路設計装置及びコンピュータプログラム Download PDFInfo
- Publication number
- JP4528704B2 JP4528704B2 JP2005281558A JP2005281558A JP4528704B2 JP 4528704 B2 JP4528704 B2 JP 4528704B2 JP 2005281558 A JP2005281558 A JP 2005281558A JP 2005281558 A JP2005281558 A JP 2005281558A JP 4528704 B2 JP4528704 B2 JP 4528704B2
- Authority
- JP
- Japan
- Prior art keywords
- circuit design
- asynchronous
- data
- port
- signal
- 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.)
- Expired - Fee Related
Links
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/35—Delay-insensitive circuit design, e.g. asynchronous or self-timed
Description
cport active input [7:0] A;
は、cport Aが、active portであり、8ビットのinput portであることを宣言する。
channel [7:0] T;
は、channel Tが、Sub-processのcportを接続する8ビット幅のchannelであることを宣言する。
send (A,x);
receive (B,y);
は、変数xのデータをcport Aを通じて相手のプロセスに送信し、cport Bを通じて受信したデータを変数yに格納することを意味する。
sync (Z);
は、cport Zを用いて同期を取ることを意味するが、データの送受信は行わない。上記send、receive及びsyncコマンドは、実際の回路においては、2相乃至4相ハンドシェーキングを起動する。
probe (B);
は、cport Bを通じて、cport Bに接続されているchannel上にある即値を返す。probeコマンドを使用することで、プロセス間のハンドシェイクを開始する前に、例えば準備として、任意の処理を行うことができる。
図1は業界標準Verilog HDL(ベリログエッチディーエル)を用いた典型的な回路設計フローを示している。同図において、単線の枠は設計記述又は設計プロセスの入出力データを意味し、二重線の枠は設計のプロセスを意味する。Design Specificationは該当の設計に関する仕様記述である。自然言語、表、図などの直感的で自然な記述を用いて予め定まっている仕様を詳細に記述する。これは製品の詳細仕様書のベースになるものである。Behavioral Descriptionは該当の設計に関する動作レベルの詳細記述である。Verilog HDLを用いて動作レベルの記述を行うことも可能であり、その場合は、Verilog HDL専用のシミュレータを用いてDesign Specificationとの整合性の検証を行うことができる。
1.channel(チャネル) 新たに追加されたdata typeである。下記cportを接続する。
2.cport(シーポート) 新たに追加されたdata typeである。以下の6タイプがある。
active input(アクティブ インプット) 能動的入力ポート
active output(アクティブ アウトプット) 能動的出力ポート
passive input(パッシブ インプット) 受動的入力ポート
passive output(パッシブ アウトプット) 受動的出力ポート
active sync(アクティブ シンク) 能動的同期ポート
passive sync(パッシブ シンク) 受動的同期ポート
3.send/receive/sync/probe 新たに追加された通信用コマンドである。
send(センド) 変数から読み出したデータの送信を行うコマンド
receive(レシーブ) データの受信と変数への書き込みを行うコマンド
sync(シンク) データの送受信を伴なわずにポート間の同期をとるコマンド
4.probe 新たに追加されたFunction(ファンクション)である。
probe(プローブ) 指定したcportに接続するchannel上の即値を返すFunction
まず、Probe functionを用いた実施例について説明する。Passiveポート経由のsend又はreceiveのハンドシェイキングにおいては、対向ポートからのRequest信号の到来によって、送信又は受信のシーケンスがスタートする。しかしながら、実際の回路ではRequest信号の到来によって直ちにハンドシェイキングを開始するのではなく、例えば、Request信号を待って、まず別の処理を行った後に、送信又は受信のハンドシェイキングを行う場合がある。新たに定義されたコマンドによれば、対向ポートからのRequest信号を待って、まず別の処理を行った後に、送信又は受信のハンドシェイキングを行うことができる。
Claims (4)
- ベリログエッチディーエルに非同期プロセス間通信を可能とするプリミティブが付加された非同期回路設計言語によって記述されたコードを論理合成してネットリストを生成する論理合成手段を備えた論理合成ツールを含み、
前記論理合成ツールは、同期回路設計用のセルと非同期回路設計用のセルとから成るセル・ライブラリーを更に備え、前記論理合成手段は、前記セル・ライブラリーを参照して前記ネットリストを生成し、
前記非同期回路設計言語のプリミティブは、データ型としてシーポートとチャネルとを含み、前記シーポートを修飾する属性としてアクティブ又はパッシブとインプット又はアウトプット又はシンクとを含み、コマンドとしてセンドとレシーブとシンクとを含み、ファンクションとしてプローブを含む、非同期回路設計装置。 - 請求項1に記載の非同期回路設計装置であって、前記ファンクションとしてプローブを用いる、非同期回路設計装置。
- ベリログエッチディーエルに非同期プロセス間通信の記述を可能とするプリミティブが付加された非同期回路設計言語によって記述されたコードを論理合成してネットリストを生成する論理合成手段と、同期回路設計用のセルと非同期回路設計用のセルとから成るセル・ライブラリーとを備えたコンピュータシステムに実行されるコンピュータプログラムであって、
前記論理合成手段が前記セル・ライブラリーを参照して前記ネットリストを生成するステップを含み、
前記非同期回路設計言語のプリミティブは、データ型としてシーポートとチャネルとを含み、前記シーポートを修飾する属性としてアクティブ又はパッシブとインプット又はアウトプット又はシンクとを含み、コマンドとしてセンドとレシーブとシンクとを含み、ファンクションとしてプローブを含む、コンピュータプログラム。 - 請求項3に記載のコンピュータプログラムであって、前記ファンクションとしてプローブを用いる、コンピュータプログラム。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
TW094142578A TWI315046B (en) | 2005-01-19 | 2005-12-02 | Designing method and program product of asynchronous circuit |
KR1020050118069A KR100803254B1 (ko) | 2005-01-19 | 2005-12-06 | 컴퓨터 프로그램을 기록한 컴퓨터 판독 가능한 기록 매체 |
CN2006100061458A CN1808451B (zh) | 2005-01-19 | 2006-01-19 | 非同步电路设计工具 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/037,139 US7418676B2 (en) | 2005-01-19 | 2005-01-19 | Asynchronous circuit design tool and computer program product |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009007444A Division JP2009134739A (ja) | 2005-01-19 | 2009-01-16 | シミュレーション装置、変換装置、非同期回路、及びic |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006202262A JP2006202262A (ja) | 2006-08-03 |
JP4528704B2 true JP4528704B2 (ja) | 2010-08-18 |
Family
ID=36840347
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005281558A Expired - Fee Related JP4528704B2 (ja) | 2005-01-19 | 2005-09-28 | 非同期回路設計装置及びコンピュータプログラム |
JP2009007444A Withdrawn JP2009134739A (ja) | 2005-01-19 | 2009-01-16 | シミュレーション装置、変換装置、非同期回路、及びic |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009007444A Withdrawn JP2009134739A (ja) | 2005-01-19 | 2009-01-16 | シミュレーション装置、変換装置、非同期回路、及びic |
Country Status (4)
Country | Link |
---|---|
US (1) | US7418676B2 (ja) |
JP (2) | JP4528704B2 (ja) |
CN (1) | CN1808451B (ja) |
TW (1) | TWI315046B (ja) |
Families Citing this family (28)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2008008629A2 (en) | 2006-06-28 | 2008-01-17 | Achronix Semiconductor Corporation | Reconfigurable logic fabrics for integrated circuits and systems and methods for configuring reconfigurable logic fabrics |
US7640422B2 (en) * | 2006-08-16 | 2009-12-29 | Qualcomm Incorporated | System for reducing number of lookups in a branch target address cache by storing retrieved BTAC addresses into instruction cache |
US7827022B2 (en) * | 2006-09-27 | 2010-11-02 | Rockwell Automation Technologies, Inc. | Sequential function chart validation tool |
US7614029B2 (en) * | 2007-01-05 | 2009-11-03 | Achronix Semiconductor Corporation | Methods and systems for converting a synchronous circuit fabric into an asynchronous dataflow circuit fabric |
JP4973392B2 (ja) * | 2007-08-30 | 2012-07-11 | 富士通セミコンダクター株式会社 | 回路検証方法および回路検証プログラム |
US8065647B2 (en) * | 2007-10-19 | 2011-11-22 | The University Of Utah Research Foundation | Method and system for asynchronous chip design |
WO2009126880A2 (en) * | 2008-04-10 | 2009-10-15 | University Of Southern California | Power aware asynchronous circuits |
JP5409231B2 (ja) * | 2008-09-26 | 2014-02-05 | 株式会社半導体エネルギー研究所 | 設計システム |
KR101173942B1 (ko) * | 2008-11-28 | 2012-08-14 | 한국전자통신연구원 | 데이터 송신 장치, 데이터 수신 장치, 데이터 전송 시스템 및 데이터 전송 방법 |
US8689192B2 (en) * | 2009-01-12 | 2014-04-01 | Synopsys, Inc. | Natural language assertion processor |
CN101504690B (zh) * | 2009-03-26 | 2011-04-13 | 北京航空航天大学 | 用于通信系统集成电路设计的实时仿真验证系统及其方法 |
US8161435B2 (en) * | 2009-07-20 | 2012-04-17 | Achronix Semiconductor Corporation | Reset mechanism conversion |
US20110179395A1 (en) * | 2010-01-20 | 2011-07-21 | Maxim Smirnov | Distributed Pipeline Synthesis for High Level Electronic Design |
JP5761819B2 (ja) * | 2010-06-17 | 2015-08-12 | 国立大学法人 奈良先端科学技術大学院大学 | スキャン非同期記憶素子およびそれを備えた半導体集積回路ならびにその設計方法およびテストパターン生成方法 |
FR2990283A1 (fr) * | 2012-05-04 | 2013-11-08 | Commissariat Energie Atomique | Bibliotheque de cellules et procede de conception d'un circuit integre asynchrone |
US10728231B2 (en) * | 2012-07-09 | 2020-07-28 | Massachusetts Institute Of Technology | Data security using inter-zone gate circuits |
US8995500B2 (en) * | 2012-07-19 | 2015-03-31 | Seiko Epson Corporation | Asynchronous correlation circuit, asynchronous full adder circuit, calculation device, correlation device, asynchronous maximum value N detection circuit, and satellite signal acquisition device |
JP5920081B2 (ja) * | 2012-07-19 | 2016-05-18 | セイコーエプソン株式会社 | 非同期相関演算回路 |
US9430442B2 (en) * | 2013-07-30 | 2016-08-30 | Synopsys, Inc. | Solving a gate-sizing optimization problem using a constraints solver |
US10261760B1 (en) | 2013-12-05 | 2019-04-16 | The Mathworks, Inc. | Systems and methods for tracing performance information from hardware realizations to models |
US10078717B1 (en) | 2013-12-05 | 2018-09-18 | The Mathworks, Inc. | Systems and methods for estimating performance characteristics of hardware implementations of executable models |
JP6340886B2 (ja) * | 2014-04-10 | 2018-06-13 | 株式会社ジェイテクト | プログラマブルロジックコントローラ用プログラムの作成支援装置及びプログラマブルロジックコントローラ用プログラムの作成支援方法 |
US9449131B2 (en) * | 2014-06-02 | 2016-09-20 | Xilinx, Inc. | Extracting system architecture in high level synthesis |
EP3926904A1 (en) * | 2020-06-15 | 2021-12-22 | Nxp B.V. | Controller area network apparatus |
CN112651207B (zh) * | 2020-12-23 | 2023-06-02 | 中山大学 | 一种异步电路物理实现方法及系统 |
TWI773501B (zh) * | 2021-08-27 | 2022-08-01 | 長佳智能股份有限公司 | 健康輔助辨識系統及健康輔助診斷方法 |
CN113839663B (zh) * | 2021-09-26 | 2023-09-15 | 重庆大学 | 延迟不敏感异步电路单元、M×N-Join及其工作方法 |
WO2023228213A1 (en) * | 2022-05-25 | 2023-11-30 | PANDEY, Uma | Data path elements for implementation of computational logic using digital vlsi systems |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6578133B1 (en) * | 2000-02-24 | 2003-06-10 | Stanley M. Hyduke | MIMD array of single bit processors for processing logic equations in strict sequential order |
WO2002003310A1 (en) * | 2000-07-05 | 2002-01-10 | Meyer Steven J | Mixed signal simulation |
US6785875B2 (en) * | 2002-08-15 | 2004-08-31 | Fulcrum Microsystems, Inc. | Methods and apparatus for facilitating physical synthesis of an integrated circuit design |
JP4721707B2 (ja) * | 2002-12-13 | 2011-07-13 | 株式会社アドバンテスト | タイミング発生回路とこのタイミング発生回路を備えた半導体試験装置 |
US7404172B2 (en) * | 2002-12-19 | 2008-07-22 | California Institute Of Technology | Method for the synthesis of VLSI systems based on data-driven decomposition |
GB0301700D0 (en) * | 2003-01-24 | 2003-02-26 | Macrovision Corp | The copy protection of optical discs |
US7260753B2 (en) * | 2003-07-14 | 2007-08-21 | Fulcrum Microsystems, Inc. | Methods and apparatus for providing test access to asynchronous circuits and systems |
US20060125666A1 (en) * | 2004-12-12 | 2006-06-15 | Hanks Darwin M | Data modulation |
-
2005
- 2005-01-19 US US11/037,139 patent/US7418676B2/en not_active Expired - Fee Related
- 2005-09-28 JP JP2005281558A patent/JP4528704B2/ja not_active Expired - Fee Related
- 2005-12-02 TW TW094142578A patent/TWI315046B/zh not_active IP Right Cessation
-
2006
- 2006-01-19 CN CN2006100061458A patent/CN1808451B/zh not_active Expired - Fee Related
-
2009
- 2009-01-16 JP JP2009007444A patent/JP2009134739A/ja not_active Withdrawn
Also Published As
Publication number | Publication date |
---|---|
CN1808451B (zh) | 2010-12-08 |
JP2009134739A (ja) | 2009-06-18 |
JP2006202262A (ja) | 2006-08-03 |
TW200632702A (en) | 2006-09-16 |
TWI315046B (en) | 2009-09-21 |
US7418676B2 (en) | 2008-08-26 |
CN1808451A (zh) | 2006-07-26 |
US20060190851A1 (en) | 2006-08-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4528704B2 (ja) | 非同期回路設計装置及びコンピュータプログラム | |
JP4014080B2 (ja) | デジタル回路の設計装置および設計方法、並びに、プログラムおよび格納媒体 | |
JP2011512602A (ja) | 同期から非同期への論理変換 | |
EP1299826A1 (en) | Circuit component interface | |
CN112232000B (zh) | 跨多个验证域的验证系统、验证方法、验证设备 | |
Josephs et al. | Modeling and design of asynchronous circuits | |
CN1504900B (zh) | 自内存读取数据的控制电路及其方法 | |
US7184946B2 (en) | Co-simulation via boundary scan interface | |
US7496869B1 (en) | Method and apparatus for implementing a program language description of a circuit design for an integrated circuit | |
KR100830110B1 (ko) | 비동기 회로의 프로세스간 통신 방법 및 시뮬레이션 방법 | |
CN111176926B (zh) | 一种基于双口sram的ip核仿真系统及仿真方法 | |
Humbel et al. | A Model-Checked I 2 C Specification | |
KR100803254B1 (ko) | 컴퓨터 프로그램을 기록한 컴퓨터 판독 가능한 기록 매체 | |
Vercauteren et al. | Hardware/software communication and system integration for embedded architectures | |
Vij et al. | Interfacing synchronous and asynchronous domains for open core protocol | |
Decaluwe | MyHDL manual | |
Cyr et al. | Generation of processor interface for SoC using standard communication protocol | |
Aggarwal et al. | SCF: A device-and language-independent task coordination framework for reconfigurable, heterogeneous systems | |
Bjerregaard et al. | A channel library for asynchronous circuit design supporting mixed-mode modeling | |
JP2019016168A (ja) | シミュレーションプログラム、方法、及び装置 | |
KR100552668B1 (ko) | 하드웨어-소프트웨어 인터페이스 합성방법 | |
El-Shiekh et al. | IPXACT-Based RTL Generation Tool | |
KR101026678B1 (ko) | 에뮬레이터의 인터페이스 장치 및 그 방법 | |
Zhenxin et al. | A UML-based approach for heterogeneous IP integration | |
Chaganti | Functional Coverage and Assertion Based Verification of Communication Protocol Using System Verilog |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20080815 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080825 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081024 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20081117 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090116 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20090128 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20090227 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20100607 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130611 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130611 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |