JPS6149702B2 - - Google Patents
Info
- Publication number
- JPS6149702B2 JPS6149702B2 JP54013829A JP1382979A JPS6149702B2 JP S6149702 B2 JPS6149702 B2 JP S6149702B2 JP 54013829 A JP54013829 A JP 54013829A JP 1382979 A JP1382979 A JP 1382979A JP S6149702 B2 JPS6149702 B2 JP S6149702B2
- Authority
- JP
- Japan
- Prior art keywords
- signal
- computer
- logic
- input
- 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.)
- Expired
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1382979A JPS55108054A (en) | 1979-02-10 | 1979-02-10 | Test system for synchronizing type digital circuit |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1382979A JPS55108054A (en) | 1979-02-10 | 1979-02-10 | Test system for synchronizing type digital circuit |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS55108054A JPS55108054A (en) | 1980-08-19 |
| JPS6149702B2 true JPS6149702B2 (enExample) | 1986-10-30 |
Family
ID=11844154
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1382979A Granted JPS55108054A (en) | 1979-02-10 | 1979-02-10 | Test system for synchronizing type digital circuit |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS55108054A (enExample) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0199801U (enExample) * | 1987-12-21 | 1989-07-04 | ||
| JPH04125207U (ja) * | 1991-05-01 | 1992-11-16 | 義則 伊藤 | ちり容器 |
| JPH0731610U (ja) * | 1993-11-22 | 1995-06-13 | 象印マホービン株式会社 | 包装用箱 |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS59125455A (ja) * | 1982-12-30 | 1984-07-19 | Fujitsu Ltd | テストデ−タの作成方法 |
| JP2507294B2 (ja) * | 1984-12-11 | 1996-06-12 | 株式会社日立製作所 | 制御盤の検査方法 |
| US4744084A (en) * | 1986-02-27 | 1988-05-10 | Mentor Graphics Corporation | Hardware modeling system and method for simulating portions of electrical circuits |
-
1979
- 1979-02-10 JP JP1382979A patent/JPS55108054A/ja active Granted
Non-Patent Citations (1)
| Title |
|---|
| FUJITSU SCIENTTFIC & TECHNICAL JOURNAL VOLUME14 NUMBER2=S53 * |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0199801U (enExample) * | 1987-12-21 | 1989-07-04 | ||
| JPH04125207U (ja) * | 1991-05-01 | 1992-11-16 | 義則 伊藤 | ちり容器 |
| JPH0731610U (ja) * | 1993-11-22 | 1995-06-13 | 象印マホービン株式会社 | 包装用箱 |
Also Published As
| Publication number | Publication date |
|---|---|
| JPS55108054A (en) | 1980-08-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR100483876B1 (ko) | 반도체 집적 회로 설계 및 검증 시스템 | |
| JP2000132416A (ja) | 半導体集積回路設計検証装置 | |
| US5745501A (en) | Apparatus and method for generating integrated circuit test patterns | |
| EP1815328B1 (en) | Feature-oriented test program development and execution | |
| JPS6149702B2 (enExample) | ||
| US6532573B1 (en) | LSI verification method, LSI verification apparatus, and recording medium | |
| US20080313584A1 (en) | Logic verification method | |
| US20090132222A1 (en) | State testing device and methods thereof | |
| US6813751B2 (en) | Creating standard VHDL test environments | |
| JP3941336B2 (ja) | 論理回路検証装置 | |
| Williams | Digital VLSI design with verilog | |
| US6711728B1 (en) | Function synthesizing method and apparatus, and recording medium on which program of said method is recorded | |
| JP2924175B2 (ja) | 論理シミュレーション・システム | |
| JP3654941B2 (ja) | 論理シミュレーション方法及び論理シミュレータ | |
| JP3696302B2 (ja) | テストベクトル生成方法及び生成装置 | |
| JP4400358B2 (ja) | 論理シミュレーション方法、論理シミュレーション装置、論理シミュレーション用プログラム | |
| CN119272675A (zh) | 一种用于验证多模式高速异步接口的方法 | |
| JPH11250115A (ja) | エミュレータを用いた論理検証方法 | |
| JP4039347B2 (ja) | ラッチ変換による遅延最適化回路の等価性検証システム、及びプログラム | |
| JP4464351B2 (ja) | ログ生成システム、ログ生成装置及びプログラム | |
| JPH01142848A (ja) | アドレストラップ回路 | |
| Tong | A logic simulation system using interactive hardware | |
| JPH0944369A (ja) | トランスレータ検証装置 | |
| JPS6320543A (ja) | 論理シミユレ−シヨン方式 | |
| JPH0468472A (ja) | 論理図入力装置 |