JP6068805B2 - プロトタイプシステムにおける汎用的な可制御性及び可観測性のための方法及び装置 - Google Patents
プロトタイプシステムにおける汎用的な可制御性及び可観測性のための方法及び装置 Download PDFInfo
- Publication number
- JP6068805B2 JP6068805B2 JP2012026121A JP2012026121A JP6068805B2 JP 6068805 B2 JP6068805 B2 JP 6068805B2 JP 2012026121 A JP2012026121 A JP 2012026121A JP 2012026121 A JP2012026121 A JP 2012026121A JP 6068805 B2 JP6068805 B2 JP 6068805B2
- Authority
- JP
- Japan
- Prior art keywords
- verification module
- emulation interface
- fpga
- interface
- control information
- 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 29
- 238000012795 verification Methods 0.000 claims description 72
- 238000013461 design Methods 0.000 claims description 48
- 239000000523 sample Substances 0.000 claims description 13
- 238000012545 processing Methods 0.000 claims description 12
- 230000004044 response Effects 0.000 claims description 11
- 230000008569 process Effects 0.000 claims description 9
- 238000004088 simulation Methods 0.000 claims description 8
- 238000012546 transfer Methods 0.000 claims description 2
- 238000012360 testing method Methods 0.000 description 26
- 238000004891 communication Methods 0.000 description 18
- 238000012942 design verification Methods 0.000 description 12
- 238000010586 diagram Methods 0.000 description 10
- 230000008859 change Effects 0.000 description 9
- 230000001419 dependent effect Effects 0.000 description 4
- 230000018109 developmental process Effects 0.000 description 4
- 230000006870 function Effects 0.000 description 4
- 230000014509 gene expression Effects 0.000 description 4
- 238000005070 sampling Methods 0.000 description 4
- 238000013459 approach Methods 0.000 description 3
- 238000011161 development Methods 0.000 description 3
- 238000010998 test method Methods 0.000 description 3
- 238000010200 validation analysis Methods 0.000 description 3
- 238000004590 computer program Methods 0.000 description 2
- 239000000470 constituent Substances 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000011218 segmentation Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 239000000835 fiber Substances 0.000 description 1
- 238000003384 imaging method Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000002093 peripheral effect Effects 0.000 description 1
- 238000012805 post-processing Methods 0.000 description 1
- 238000007639 printing Methods 0.000 description 1
- 230000008054 signal transmission Effects 0.000 description 1
- 230000001360 synchronised effect Effects 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
Images
Landscapes
- Tests Of Electronic Circuits (AREA)
Description
本出願は、2010年2月12日に出願した「Method and Apparatus for Versatile Controllability and Observability in Prototype System」という名称の米国仮特許出願第61304,328号の優先権の権利を主張するものであり、その出願の内容が参照により全体として本明細書に組み込まれる。
120 ホストインタフェースカード
130 プロトタイプ・システム・インタフェースカード
140 コネクタ
150 プロトタイプカード
Claims (17)
- 回路設計をエミュレートするためのシステムであって、
前記回路設計をエミュレートするための少なくとも1つのフィールド・プログラマブル・ゲート・アレイ(FPGA)を備えるボードであって、前記少なくとも1つのFPGAは、前記回路設計の少なくとも一部をエミュレートするように構成され、前記少なくとも1つのFPGAは、タイミング及び制御情報を前記回路設計の前記少なくとも一部に提供し、かつ、前記回路設計の前記少なくとも一部に関連付けられた信号をプローブする検証モジュールを含むように構成されている、ボードと、
前記回路設計の前記少なくとも一部及び前記検証モジュールを表すデータを前記少なくとも1つのFPGAに提供して、前記少なくとも1つのFPGAを構成するためのホストワークステーションと、
コントローラ及びメモリデバイスを備えるエミュレーションインタフェースであって、前記ホストワークステーションと前記ボードとの間に接続され、タイミング及び制御情報を少なくとも前記検証モジュールに提供するように構成されたエミュレーションインタフェースと
を備え、
前記コントローラは、前記プローブされた信号に関連付けられた信号値を受け取り、かつ、処理し、前記処理された信号値を前記メモリデバイスに格納するように構成されている、システム。 - 前記エミュレーションインタフェースは、前記ホストワークステーションからの要求に応じて、前記少なくとも1つのFPGAを再構成するためのコマンドを送信するように更に構成されている、請求項1に記載のシステム。
- 前記エミュレーションインタフェースの前記コントローラは、前記ホストワークステーションから受信された制御情報に応じて、トリガ条件を作成するように構成されている、請求項1に記載のシステム。
- トリガ条件が、前記エミュレーションインタフェースから受信されたタイミング情報に応じて作成される、請求項1に記載のシステム。
- 前記検証モジュールは、前記エミュレーションインタフェースから受信された制御情報に応じて、前記信号をプローブするように構成されている、請求項1に記載のシステム。
- 前記エミュレーションインタフェースの前記コントローラは、クロック及びリセット信号を前記検証モジュールに提供するように更に構成されている、請求項1に記載のシステム。
- 前記検証モジュールは、前記エミュレーションインタフェースと交換されたデータの復号又は符号化のうち少なくとも1つを行うように構成されている、請求項1に記載のシステム。
- 前記プローブされた信号は、前記ホストワークステーションに関連付けられた設計データベースに含まれたレジスタ転送言語(RTL)情報によって定義される、請求項1に記載のシステム。
- 前記検証モジュールは、前記エミュレーションインタフェースからのクロック及び制御信号を受信することに応じて、協調シミュレーション及び協調エミュレーション検証のうち少なくとも1つを行うように構成されている、請求項1に記載のシステム。
- 回路設計をエミュレートするための方法であって、
プロトタイプボードの検証モジュールから、プローブされた信号に関連付けられた信号値を、エミュレーションインタフェースで受信するステップであって、前記プロトタイプボードは、前記エミュレーションインタフェースの外部にあり、かつ、少なくとも1つのフィールド・プログラマブル・ゲート・アレイ(FPGA)を備えるものであり、前記プロトタイプボードの前記少なくとも1つのFPGAは、前記回路設計の少なくとも一部をエミュレートし、前記検証モジュールを提供するように構成されている、ステップと、
前記エミュレーションインタフェースによって前記プローブされた信号値を処理するステップであって、前記プローブされた信号値は、エミュレートされる前記回路設計の前記少なくも一部に関連付けられたものであり、前記エミュレーションインタフェースは、ホストワークステーションと前記プロトタイプボードとの間に接続され、前記エミュレーションインタフェースは、タイミング及び制御情報を少なくとも前記検証モジュールに提供し、前記エミュレーションインタフェースは、コントローラ及びメモリデバイスを備え、前記コントローラは、前記プローブされた信号値を受信するように構成されている、ステップと、
前記コントローラによって前記プローブされた信号値を処理することにより得られた、当該処理された情報を、前記エミュレーションインタフェースによって格納するステップと、
前記処理された情報を前記ホストワークステーションに前記エミュレーションインタフェースによって送信するステップと
を含む方法。 - 前記エミュレーションインタフェースによって、前記ホストワークステーションから受信された制御情報に応じて、トリガ条件を作成するステップを更に含む、請求項10に記載の方法。
- 前記検証モジュールは、前記エミュレーションインタフェースから受信された制御情報に応じて、前記信号をプローブするように構成されている、請求項10に記載の方法。
- 前記検証モジュールは、前記エミュレーションインタフェースから受信されたタイミング及び制御情報のうち少なくとも1つに応じて、協調シミュレーション及び協調エミュレーション検証のうち少なくとも1つを行うように構成されている、請求項10に記載の方法。
- 前記エミュレーションインタフェースは、前記ワークステーションからの要求に応じて、前記少なくとも1つのFPGAを再構成するためのコマンドを送信するように更に構成されている、請求項10に記載の方法。
- 前記少なくとも1つのFPGAを再構成することは、
前記検証モジュールを再構成すること
を含む、請求項14に記載の方法。 - 前記信号値を処理することは、前記信号値を復号することを含む、請求項1に記載のシステム。
- 前記信号値を処理することは、前記信号値を復号することを含む、請求項10に記載の方法。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/025,809 US8281280B2 (en) | 2010-02-12 | 2011-02-11 | Method and apparatus for versatile controllability and observability in prototype system |
US13/025,809 | 2011-02-11 |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2012168946A JP2012168946A (ja) | 2012-09-06 |
JP2012168946A5 JP2012168946A5 (ja) | 2016-09-08 |
JP6068805B2 true JP6068805B2 (ja) | 2017-01-25 |
Family
ID=46981168
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012026121A Active JP6068805B2 (ja) | 2011-02-11 | 2012-02-09 | プロトタイプシステムにおける汎用的な可制御性及び可観測性のための方法及び装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6068805B2 (ja) |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000163456A (ja) * | 1998-11-25 | 2000-06-16 | Hitachi Ltd | 論理検証方法 |
US8099273B2 (en) * | 2003-06-05 | 2012-01-17 | Mentor Graphics Corporation | Compression of emulation trace data |
JP4890086B2 (ja) * | 2006-04-21 | 2012-03-07 | アオイ電子株式会社 | 回路検証装置及び回路検証方法 |
US8412990B2 (en) * | 2007-06-27 | 2013-04-02 | Tabula, Inc. | Dynamically tracking data values in a configurable IC |
JP2009031933A (ja) * | 2007-07-25 | 2009-02-12 | S2C Inc | スケーラブル再構成可能型プロトタイプシステムと方法 |
-
2012
- 2012-02-09 JP JP2012026121A patent/JP6068805B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2012168946A (ja) | 2012-09-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8281280B2 (en) | Method and apparatus for versatile controllability and observability in prototype system | |
US8839179B2 (en) | Prototype and emulation system for multiple custom prototype boards | |
US10288681B2 (en) | Test architecture with a small form factor test board for rapid prototyping | |
US8732650B2 (en) | Method and apparatus for versatile controllability and observability in prototype system | |
US8997034B2 (en) | Emulation-based functional qualification | |
JP4456420B2 (ja) | ネットワークベースの階層エミュレーションシステム | |
US7353162B2 (en) | Scalable reconfigurable prototyping system and method | |
US9032344B2 (en) | Verification module apparatus for debugging software and timing of an embedded processor design that exceeds the capacity of a single FPGA | |
US9495492B1 (en) | Implementing synchronous triggers for waveform capture in an FPGA prototyping system | |
US8356272B2 (en) | Logic verification module apparatus to serve as a hyper prototype for debugging an electronic design that exceeds the capacity of a single FPGA | |
US20110307847A1 (en) | Hybrid system combining TLM simulators and HW accelerators | |
US10678976B2 (en) | Generic protocol analyzer for circuit design verification | |
US10664563B2 (en) | Concurrent testbench and software driven verification | |
US10664637B2 (en) | Testbench restoration based on capture and replay | |
JP6068805B2 (ja) | プロトタイプシステムにおける汎用的な可制御性及び可観測性のための方法及び装置 | |
Cho et al. | A full-system VM-HDL co-simulation framework for servers with PCIe-connected FPGAs | |
Chang et al. | A unified GDB-based source-transaction level SW/HW co-debugging | |
US9581643B1 (en) | Methods and circuits for testing partial circuit designs | |
JP2012168946A5 (ja) | ||
CN116594830B (zh) | 硬件仿真工具、调试方法和存储介质 | |
US9608871B1 (en) | Intellectual property cores with traffic scenario data | |
Kashai | Soc block-based design and ip assembly | |
Kuitunen | SoC FPGA based integration testing platform | |
Gindac et al. | Open-source SoC-based Off-the-shelf Industrial-Grade Low-Cost Logic Analyzer | |
Jamro et al. | B04: Heterogeneous hardware-software prototyping system for PC-controlled FPGA-based designs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7426 Effective date: 20120920 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20120920 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20141120 |
|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A711 Effective date: 20150401 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20150401 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20151224 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20160112 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20160404 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20160606 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160712 |
|
A524 | Written submission of copy of amendment under article 19 pct |
Free format text: JAPANESE INTERMEDIATE CODE: A524 Effective date: 20160712 |
|
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: 20161129 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20161226 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6068805 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313117 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |