JPH07129428A - Asic microcomputer development supporting device - Google Patents
Asic microcomputer development supporting deviceInfo
- Publication number
- JPH07129428A JPH07129428A JP5294096A JP29409693A JPH07129428A JP H07129428 A JPH07129428 A JP H07129428A JP 5294096 A JP5294096 A JP 5294096A JP 29409693 A JP29409693 A JP 29409693A JP H07129428 A JPH07129428 A JP H07129428A
- Authority
- JP
- Japan
- Prior art keywords
- chip
- microcomputer
- asic
- unit
- mounting
- 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.)
- Pending
Links
- 238000011161 development Methods 0.000 title claims description 23
- 239000000470 constituent Substances 0.000 claims description 3
- 230000002093 peripheral effect Effects 0.000 description 6
- 238000012795 verification Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 4
- 238000000034 method Methods 0.000 description 4
- 230000007547 defect Effects 0.000 description 3
- 238000012360 testing method Methods 0.000 description 3
- 239000013256 coordination polymer Substances 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 230000007257 malfunction Effects 0.000 description 2
- 230000009897 systematic effect Effects 0.000 description 2
- MHABMANUFPZXEB-UHFFFAOYSA-N O-demethyl-aloesaponarin I Natural products O=C1C2=CC=CC(O)=C2C(=O)C2=C1C=C(O)C(C(O)=O)=C2C MHABMANUFPZXEB-UHFFFAOYSA-N 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 238000004088 simulation Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
Description
【0001】[0001]
【産業上の利用分野】この発明は、CPUをコアとして
周辺LSIならびにユーザ個別のランダム・ロジックを
1チップ化したASICマイコンの開発支援装置につい
てのものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a development support device for an ASIC microcomputer having a CPU as a core and peripheral LSIs and a user-specific random logic in one chip.
【0002】[0002]
【従来の技術】ASICマイコンとは、CPUとユーザ
個別のランダム・ロジックならびに、場合によっては複
数の周辺LSIを1チップ化したものである。ASIC
マイコンの内部のブロック図の一例を図2に示す。図2
で、21はCPUコア、22はCPU周辺機能のマクロ
セル、23は自由に論理回路を組めるユーザ・ロジック
部である。2. Description of the Related Art An ASIC microcomputer is one in which a CPU and random logic unique to each user and, in some cases, a plurality of peripheral LSIs are integrated into one chip. ASIC
An example of an internal block diagram of the microcomputer is shown in FIG. Figure 2
Reference numeral 21 is a CPU core, 22 is a macrocell for CPU peripheral functions, and 23 is a user logic unit that can freely assemble a logic circuit.
【0003】このようにASICマイコンは、CPUと
CPU周辺LSIならびに論理回路をバラバラで組んで
いたものを1チップ化できるので、機器の小型化・信頼
性向上・コストダウンを図ることができる。このように
ASICマイコンは、高機能、高信頼性、低価格を実現
できるので今後の成長が見込まれている。As described above, in the ASIC microcomputer, since the CPU, the CPU peripheral LSI, and the logic circuit are separately assembled, they can be integrated into one chip, so that it is possible to reduce the size of the device, improve the reliability, and reduce the cost. In this way, the ASIC microcomputer can realize high functionality, high reliability, and low price, and therefore future growth is expected.
【0004】図3は、このようなASICマイコンを使
用した機器を開発するときの従来技術における開発フロ
ーである。以下、図3を参照して従来の開発手順を説明
する。システム設計後、ハードウェア/ソフトウェアの
個別設計に移る。そして、ハードウェア設計において、
ASICマイコンを使用する場合はどのブロックをAS
ICマイコンの中に入れるかの検討を行う。その後、ユ
ーザ・ロジック部の回路ができ上がればシミュレーショ
ンを行い、論理検証・タイミング検証を行う。FIG. 3 is a development flow in the prior art when developing a device using such an ASIC microcomputer. The conventional development procedure will be described below with reference to FIG. After system design, move to individual hardware / software design. And in hardware design,
When using an ASIC microcomputer, which block is AS
Consider whether to put it in the IC microcomputer. After that, if the circuit of the user logic section is completed, simulation is performed to perform logic verification / timing verification.
【0005】ASICマイコンのチップ単体での検証が
終わればチップ作成に入り、サンプルを作成する。AS
ICマイコンとして集積化する回路以外はプリント板に
回路が組まれ、ASICマイコンができあがった後、プ
リント板がアッセンブリされる。そこで初めてハードウ
ェア全体としての検証(デバック)が行われる。その時
点でASICマイコンチップの仕様に起因する不具合
(バグ)が発見されればチップの作り直し(チップ再製
作)を行う。ハードウェアの検証が終われば、ソフトウ
ェアとの結合試験(結合デバック)が行われ、システム
全体としての検証が行われる。ここでも、チップの仕様
に起因する不具合が発見されればチップの作り直しとい
うことになる。When the verification of the chip of the ASIC microcomputer is completed, the chip is prepared and a sample is prepared. AS
Circuits are assembled on the printed board except for the circuits integrated as the IC microcomputer, and after the ASIC microcomputer is completed, the printed board is assembled. Therefore, verification (debugging) of the entire hardware is performed for the first time. If a defect (bug) due to the specifications of the ASIC microcomputer chip is found at that point, the chip is recreated (chip remanufacturing). When the hardware verification is completed, a connection test with software (coupling debug) is performed, and the system as a whole is verified. Here again, if a defect due to the specifications of the chip is found, it means that the chip is rebuilt.
【0006】[0006]
【発明が解決しようとする課題】このように従来技術に
おけるASICマイコンの開発では、ASICマイコン
チップを作成してからデバックを行うが、システム的な
不具合は工程の後になればなるほど発見される確率が高
くなる。もし、システム的な不具合がチップに起因した
内容の場合、従来ではその都度チップの作り直しを行わ
なければならなかった。このため、ASICマイコンの
開発効率が非常に悪く、多大な開発時間と費用がかかっ
てしまうという問題がある。As described above, in the development of the ASIC microcomputer in the prior art, the debug is performed after the ASIC microcomputer chip is created. However, the systematic failure is more likely to be discovered after the process. Get higher If the systematic defect was caused by the chip, the chip had to be recreated each time in the past. Therefore, there is a problem that the development efficiency of the ASIC microcomputer is very poor, and it takes a lot of development time and cost.
【0007】この発明は、ASICマイコンチップが完
成する以前にプロトタイプを完成させ、機能検証、ソフ
トウェアのデバッグを先行して行うASICマイコン開
発支援装置を提供することを目的とする。It is an object of the present invention to provide an ASIC microcomputer development support device which completes a prototype before the completion of an ASIC microcomputer chip and performs function verification and software debugging in advance.
【0008】[0008]
【課題を解決するための手段】この目的を達成するため
に、この発明は、ASICマイコンのマイコン部分をデ
バックするデバック部と、ユーザ・ロジックを実現した
デバイスを実装するためのユーザ・ロジック実装部と、
既存のチップを実装するための実チップ・インタフェー
ス部と、ASICマイコンが実装されるターゲットと接
続するためのターゲット・インタフェース部と、デバッ
ク部、ユーザ・ロジック実装部、実チップ・インタフェ
ース部およびターゲット・インタフェース部間を任意に
配線可能な配線部とを備え、配線部により各構成要素間
を有機的に接続することにより、ASICマイコンのチ
ップ作成以前にハードウェアとソフトウェアを結合した
システム・デバッグを行う。To achieve this object, the present invention provides a debug section for debugging the microcomputer section of an ASIC microcomputer, and a user logic mounting section for mounting a device realizing the user logic. When,
A real chip interface unit for mounting an existing chip, a target interface unit for connecting to a target on which an ASIC microcomputer is mounted, a debug unit, a user logic mounting unit, a real chip interface unit and a target By providing a wiring unit capable of arbitrarily wiring between the interface units and organically connecting the respective constituent elements by the wiring unit, the system debug in which the hardware and the software are combined before the chip of the ASIC microcomputer is created. .
【0009】[0009]
【作用】この発明によれば、開発するASICマイコン
に応じてASICマイコン開発支援装置内のデバック
部、ユーザ・ロジック実装部、実チップ・インタフェー
ス部およびターゲット・インタフェース部間の接続を配
線部により行うことで、ASICマイコンのチップを作
成したのと同様の試験環境を実現し、ASICマイコン
のチップ作成以前にハードウェアとソフトウェアを結合
したシステム・デバッグまでの試験を行う。According to the present invention, the wiring section connects the debug section, the user logic mounting section, the actual chip interface section, and the target interface section in the ASIC microcomputer development support device according to the ASIC microcomputer to be developed. As a result, a test environment similar to that for creating an ASIC microcomputer chip is realized, and a test up to system debug in which hardware and software are combined before the ASIC microcomputer chip is created.
【0010】[0010]
【実施例】次に、この発明によるASICマイコン開発
支援装置の実施例の機能ブロック図を図1に示す。図1
において、10はこの発明の実施例によるASICマイ
コン開発支援装置、11はASICマイコン開発支援装
置10を制御するためのホストコンピュータ、12はA
SICマイコンが実装される装置(以下、ターゲットと
称す)、13はASICマイコンのマイコン部分をデバ
ックするCPU用ICE、14はユーザ・ロジックを実
装するためのブロック、15は実際にある既存のチップ
を搭載するための実チップ・インタフェース部、16は
ターゲット回路がある場合にそこにインサーキットする
ためのターゲット・インタフェース部、17はこれらの
ブロックをプログラマブルに配線するためのプログラマ
ブル配線部である。1 is a functional block diagram of an embodiment of an ASIC microcomputer development support device according to the present invention. Figure 1
In the figure, 10 is an ASIC microcomputer development support device according to the embodiment of the present invention, 11 is a host computer for controlling the ASIC microcomputer development support device 12, and 12 is an A computer.
A device in which the SIC microcomputer is mounted (hereinafter referred to as a target), 13 is an ICE for a CPU that debugs the microcomputer portion of the ASIC microcomputer, 14 is a block for mounting the user logic, and 15 is an existing existing chip. An actual chip interface section for mounting, 16 is a target interface section for in-circuiting a target circuit when there is a target circuit, and 17 is a programmable wiring section for wiring these blocks in a programmable manner.
【0011】図1で、CPU用ICE13は通常のCP
UをデバックするICE部であり、ASIC化するCP
U131、制御部132、トリガ部133およびトレー
ス部134により構成されている。CPU131・制御
部132・トリガ部133およびトレース部134はそ
れぞれバス接続されており、制御部132によりICE
の制御が行われる。In FIG. 1, the CPU ICE 13 is a normal CP.
ICE unit that debugs U, CP that makes ASIC
The U 131, the control unit 132, the trigger unit 133, and the trace unit 134. The CPU 131, the control unit 132, the trigger unit 133, and the trace unit 134 are respectively connected to the bus, and the control unit 132 allows the ICE to operate.
Is controlled.
【0012】すなわち、制御部132は、トリガ部13
3によりブレークポイントなどを制御し、トレース部1
34によりCPU131の実行結果を記録する。このよ
うにCPU用ICE13により、CPUの実行・停止な
どの制御を行い、ソフトウェアのデバッグを可能とす
る。また、トレース機能によりCPUの実行過程を記録
しておくことが可能である。That is, the control unit 132 has the trigger unit 13
Controls breakpoints, etc. by 3, and trace unit 1
The execution result of the CPU 131 is recorded by 34. In this way, the CPU ICE 13 controls the execution / stop of the CPU and enables the software debugging. In addition, the execution process of the CPU can be recorded by the trace function.
【0013】ユーザロジック・実装部14は、ASIC
マイコンの一部として集積化されるユーザ・ロジックを
実装する部分で、たとえば外部で書き込んだ試作ゲート
アレイであるFPGA(Field Programmable Gate Arra
y)を実装でき、ユーザのロジック回路を実現する。ま
た、たとえばこの部分をSRAMベースのFPGAで構
成すれば、本装置内でユーザ回路を書き込んだり、変更
したりすることが可能となる。The user logic / mounting unit 14 is an ASIC.
A field programmable gate array (FPGA), which is a prototype gate array written externally, is a part that implements user logic integrated as part of a microcomputer.
y) can be implemented and the user's logic circuit can be realized. Further, for example, if this portion is configured by an SRAM-based FPGA, it becomes possible to write or change the user circuit in this device.
【0014】実チップ実装部15は実チップとのインタ
フェースをとる部分である。この実チップ実装部15に
より、ASICマイコンの一部にたとえばDMAC、S
IOなど既存のLSIの機能を盛り込む場合、実際にチ
ップがある場合はここに実装することでインタフェース
できる。The actual chip mounting portion 15 is a portion which interfaces with the actual chip. With this real chip mounting unit 15, a part of the ASIC microcomputer, for example, DMAC, S
When incorporating the functions of an existing LSI such as IO, if a chip is actually present, it can be interfaced by mounting it here.
【0015】ターゲット・インタフェース部16はAS
ICマイコンが搭載されるターゲットとのインタフェー
ス部である。ASICマイコンを実装する基板がすでに
ある場合、この基板と接続することでシステム全体とし
ての確認が可能となる。つまり、一般的なCPU用のI
CEがCPUのソケットにインサーキットするように、
ASICマイコンが実装されるはずのソケットにインサ
ーキットすることができる。The target interface unit 16 is an AS
This is an interface with the target on which the IC microcomputer is mounted. If there is already a board on which the ASIC microcomputer is mounted, it is possible to check the entire system by connecting to this board. In other words, I for general CPU
As the CE goes in-circuit to the socket of the CPU,
In-circuit can be installed in the socket where the ASIC microcomputer should be mounted.
【0016】プログラマブル配線17は内部配線が自由
なプログラマブル配線部であり、これにより必要に応じ
て前述の各ブロック間の接続を任意に行うことができ
る。The programmable wiring 17 is a programmable wiring section in which internal wiring is free, so that the above-mentioned blocks can be arbitrarily connected as needed.
【0017】以上のような構成の装置を用いた具体的な
使用方法を以下に示す。ユーザ・ロジック回路は外部で
FPGA化し、ユーザ・ロジック実装部14に実装す
る。もし、周辺LSIが実際のチップとしてすでにある
ならば、実チップ実装部15に実装する。また、ターゲ
ットがあればターゲット・インタフェース部16を通し
てターゲット12に接続する。A specific method of using the apparatus having the above-mentioned structure will be described below. The user logic circuit is externally converted to an FPGA and mounted on the user logic mounting unit 14. If the peripheral LSI already exists as an actual chip, it is mounted in the actual chip mounting unit 15. If there is a target, it is connected to the target 12 through the target interface section 16.
【0018】これら構成要素間の接続情報は、たとえば
ネットリストとしてホスト11に与えられ、ホスト11
からASICマイコン開発支援装置10に与えられる。
これにより、プログラマブル配線部17の内部配線が変
更され、各構成要素が有機的に接続されて所望のASI
Cマイコンの機能が得られる。その後、CPU用ICE
13を用いてソフトウェアのデバッグが行われ、システ
ム・デバッグが可能となる。The connection information between these components is given to the host 11 as a netlist, for example,
To the ASIC microcomputer development support device 10.
As a result, the internal wiring of the programmable wiring unit 17 is changed, and the respective constituent elements are organically connected to each other so that the desired ASI is obtained.
The function of the C microcomputer can be obtained. After that, ICE for CPU
The software is debugged using 13, and system debugging becomes possible.
【0019】また、たとえばユーザ・ロジック実装部1
4にSRAMベースのFPGAを用いることにより、こ
の装置内で自由に回路を書き換えることが可能となり、
回路変更を即時に反映することができる。Further, for example, the user logic mounting unit 1
By using the SRAM-based FPGA for 4, it is possible to freely rewrite the circuit in this device,
The circuit change can be reflected immediately.
【0020】次に、図1に示したこの発明の実施例にお
けるASICマイコン開発支援装置10を用いたときの
ASICマイコン開発のフローチャートを図4に示す。
図4に示すように、ASICマイコン開発支援装置10
を用いれば、図3で示した結合デバック300をASI
Cマイコンチップ作成前に行う結合デバック400で可
能となる。Next, FIG. 4 shows a flow chart of ASIC microcomputer development when the ASIC microcomputer development support device 10 in the embodiment of the present invention shown in FIG. 1 is used.
As shown in FIG. 4, the ASIC microcomputer development support device 10
, The combined debug 300 shown in FIG.
This is possible with the combined debug 400 performed before the C microcomputer chip is created.
【0021】このようにこの発明の実施例によれば、シ
ステム全体の結合デバッグ400をチップ作成前にでき
るので、チップの仕様に起因したシステム的な不具合は
チップ作成以前に発見することができる。したがって従
来技術において、作成したプリント板とASICマイコ
ンチップとをアッセンブリした後に行われたデバックに
より発生したチップの再製作と、このアッセンブリ後の
ハードウェアとソフトウェアとの結合デバックで発生し
たチップの再製作の発生を防ぐことができる。As described above, according to the embodiment of the present invention, since the combined debug 400 of the entire system can be performed before the chip is made, a system malfunction caused by the chip specifications can be found before the chip is made. Therefore, in the prior art, the remanufacturing of the chip generated by the debugging performed after assembling the printed board and the ASIC microcomputer chip, and the remanufacturing of the chip generated by the combined debugging of the hardware and the software after the assembly. Can be prevented.
【0022】チップ作成後(402)、本実施例でもデ
バック404と結合デバック406を行うが、これらデ
バックは確認程度で済み、システム的な不具合が潜んで
いる確率は低くなる。このため、実質的にはASICマ
イコンチップを再製作するようなことはない。After the chip is formed (402), the debug 404 and the combined debug 406 are performed in this embodiment as well, but these debugs are sufficient only for confirmation, and the probability that a system malfunction is hidden is low. Therefore, there is practically no need to remanufacture the ASIC microcomputer chip.
【0023】[0023]
【発明の効果】この発明によるASICマイコン開発支
援装置を用いることにより、ASICマイコンのチップ
を作成する前にチップと同じ機能を実現することがで
き、ASICマイコンのICEとして、システム全体の
ハードウェア/ソフトウェアの確認が可能となり、チッ
プを再製作する時間と費用を削減することができる。By using the ASIC microcomputer development support device according to the present invention, it is possible to realize the same function as the chip before the chip of the ASIC microcomputer is created. The software can be confirmed, and the time and cost for remanufacturing the chip can be reduced.
【図1】この発明によるASICマイコン開発支援装置
の一実施例を示すブロック図である。FIG. 1 is a block diagram showing an embodiment of an ASIC microcomputer development support device according to the present invention.
【図2】ASICマイコンの内部構成を示すブロック図
である。FIG. 2 is a block diagram showing an internal configuration of an ASIC microcomputer.
【図3】従来のASICマイコンの開発フローチャート
である。FIG. 3 is a development flowchart of a conventional ASIC microcomputer.
【図4】図1のASICマイコン開発支援装置を使用し
た場合のASICマイコンの開発フローチャートであ
る。FIG. 4 is a development flow chart of an ASIC microcomputer when the ASIC microcomputer development support device of FIG. 1 is used.
10 ASICマイコン開発支援装置 11 ホスト 12 ターゲット 13 CPU用ICE 14 ユーザ・ロジック実装部 15 実チップ実装部 16 ターゲット・インタフェース部 17 プログラマブル配線部 21 CPUコア 22 周辺機能のマクロセル 23 ユーザ・ロジック部 31 CPU 132 ICE制御 133 トリガ部 134 トレース部 10 ASIC microcomputer development support device 11 host 12 target 13 CPU ICE 14 user logic mounting part 15 actual chip mounting part 16 target interface part 17 programmable wiring part 21 CPU core 22 peripheral function macrocell 23 user logic part 31 CPU 132 ICE control 133 Trigger part 134 Trace part
Claims (1)
ックするデバック部と、 ユーザ・ロジックを実現したデバイスを実装するための
ユーザ・ロジック実装部と、 既存のチップを実装するための実チップ・インタフェー
ス部と、 前記ASICマイコンが実装されるターゲットと接続す
るためのターゲット・インタフェース部と、 前記デバック部、ユーザ・ロジック実装部、実チップ・
インタフェース部およびターゲット・インタフェース部
間を任意に配線可能な配線部と備え、 前記配線部により前記各構成要素間を有機的に接続する
ことにより、前記ASICマイコンのチップ作成以前に
ハードウェアとソフトウェアを結合したシステム・デバ
ッグを行うASICマイコン開発支援装置。1. A debug unit for debugging a microcomputer unit of an ASIC microcomputer, a user logic mounting unit for mounting a device realizing a user logic, and an actual chip interface unit for mounting an existing chip. A target interface unit for connecting to a target on which the ASIC microcomputer is mounted, the debug unit, a user logic mounting unit, an actual chip,
The interface section and the target / interface section are provided with a wiring section capable of arbitrarily wiring, and the wiring section organically connects the respective constituent elements, so that hardware and software can be provided before the chip of the ASIC microcomputer is created. ASIC microcomputer development support device for combined system debugging.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP5294096A JPH07129428A (en) | 1993-10-29 | 1993-10-29 | Asic microcomputer development supporting device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP5294096A JPH07129428A (en) | 1993-10-29 | 1993-10-29 | Asic microcomputer development supporting device |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH07129428A true JPH07129428A (en) | 1995-05-19 |
Family
ID=17803240
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP5294096A Pending JPH07129428A (en) | 1993-10-29 | 1993-10-29 | Asic microcomputer development supporting device |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPH07129428A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB2349487A (en) * | 1998-12-11 | 2000-11-01 | Mitel Semiconductor Ltd | Integration of externally developed logic |
US7283946B2 (en) | 2001-11-30 | 2007-10-16 | Fujitsu Ten Limited | Microcomputer logic development system |
US7539610B2 (en) | 2003-01-31 | 2009-05-26 | Fujitsu Ten Limited | Microcomputer logic development |
-
1993
- 1993-10-29 JP JP5294096A patent/JPH07129428A/en active Pending
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB2349487A (en) * | 1998-12-11 | 2000-11-01 | Mitel Semiconductor Ltd | Integration of externally developed logic |
US6460164B1 (en) | 1998-12-11 | 2002-10-01 | Mitel Semiconductor Limited | Integration of externally developed logic in a memory mapped system |
GB2349487B (en) * | 1998-12-11 | 2003-07-16 | Mitel Semiconductor Ltd | Integration of externally developed logic in a memory mapped system |
US7283946B2 (en) | 2001-11-30 | 2007-10-16 | Fujitsu Ten Limited | Microcomputer logic development system |
US7650274B2 (en) | 2001-11-30 | 2010-01-19 | Fujitsu Ten Limited | Microcomputer logic development system |
US7539610B2 (en) | 2003-01-31 | 2009-05-26 | Fujitsu Ten Limited | Microcomputer logic development |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US6678645B1 (en) | Method and apparatus for SoC design validation | |
US8180620B2 (en) | Apparatus and method for performing hardware and software co-verification testing | |
US6006022A (en) | Cross-linked development and deployment apparatus and method | |
US8112267B2 (en) | System and a method for checking lock-step consistency between an in circuit emulation and a microcontroller | |
US7475288B2 (en) | Accelerated hardware emulation environment for processor-based systems | |
Ganapathy et al. | Hardware emulation for functional verification of K5 | |
EP1205848A1 (en) | Embedded microcontroller bound-out chip as preprocessor for a logic analyser | |
EP1234236A2 (en) | Hardware debugging in a hardware description language | |
JP2009503749A (en) | Debugging and testing method and system using replicated logic | |
Bartley et al. | A comparison of three verification techniques: directed testing, pseudo-random testing and property checking | |
US7454726B2 (en) | Technique for generating input stimulus to cover properties not covered in random simulation | |
US20030145290A1 (en) | System for controlling external models used for verification of system on a chip (SOC) interfaces | |
US20050076282A1 (en) | System and method for testing a circuit design | |
JPH07129428A (en) | Asic microcomputer development supporting device | |
US20070220338A1 (en) | Method and system for generating checkpoints of hardware description language simulations that include a specific model state together with a software testcase state | |
Eklow et al. | Simulation based system level fault insertion using co-verification tools | |
US20040230414A1 (en) | Method for verification of hardware designs with multiple asynchronous frequency domains | |
JP2011145880A (en) | Generation method for test task used in logic verification of semiconductor integrated circuit | |
Brodnax et al. | Implementation of the PowerPC 601 microprocessor | |
JP3459293B2 (en) | Logic simulation support system | |
JP2001084286A (en) | Logic verifying device | |
Wachs et al. | Bringing up a chip on the cheap | |
US20040107393A1 (en) | Method and device for testing the mapping/implementation of a model of a logic circuit onto/in a hardware emulator | |
Peryer et al. | A path out of the verification wilderness | |
Sathe | Functional level fault simulation of LSI devices |