JPH0533425B2 - - Google Patents

Info

Publication number
JPH0533425B2
JPH0533425B2 JP61228308A JP22830886A JPH0533425B2 JP H0533425 B2 JPH0533425 B2 JP H0533425B2 JP 61228308 A JP61228308 A JP 61228308A JP 22830886 A JP22830886 A JP 22830886A JP H0533425 B2 JPH0533425 B2 JP H0533425B2
Authority
JP
Japan
Prior art keywords
verification
circuit
logic
logical
display
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 - Lifetime
Application number
JP61228308A
Other languages
English (en)
Japanese (ja)
Other versions
JPS6383840A (ja
Inventor
Naoyuki Yamada
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP61228308A priority Critical patent/JPS6383840A/ja
Publication of JPS6383840A publication Critical patent/JPS6383840A/ja
Publication of JPH0533425B2 publication Critical patent/JPH0533425B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Tests Of Electronic Circuits (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
JP61228308A 1986-09-29 1986-09-29 論理検証支援装置 Granted JPS6383840A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP61228308A JPS6383840A (ja) 1986-09-29 1986-09-29 論理検証支援装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP61228308A JPS6383840A (ja) 1986-09-29 1986-09-29 論理検証支援装置

Publications (2)

Publication Number Publication Date
JPS6383840A JPS6383840A (ja) 1988-04-14
JPH0533425B2 true JPH0533425B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) 1993-05-19

Family

ID=16874404

Family Applications (1)

Application Number Title Priority Date Filing Date
JP61228308A Granted JPS6383840A (ja) 1986-09-29 1986-09-29 論理検証支援装置

Country Status (1)

Country Link
JP (1) JPS6383840A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02242376A (ja) * 1989-03-15 1990-09-26 Nishimura Giken:Kk 論理回路の作図及びシミュレーション装置

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB8327350D0 (en) * 1983-10-13 1983-11-16 British Telecomm Cad display system
JPS6154567A (ja) * 1984-08-24 1986-03-18 Hitachi Ltd シミユレ−シヨン方法および装置
JPS61130992A (ja) * 1984-11-30 1986-06-18 日本電気株式会社 論理動作表示装置

Also Published As

Publication number Publication date
JPS6383840A (ja) 1988-04-14

Similar Documents

Publication Publication Date Title
US5557774A (en) Method for making test environmental programs
JP2856640B2 (ja) 論理回路図エディタシステム
US5568396A (en) Identifying overconstraints using port abstraction graphs
US5615124A (en) Autonomous evolution type hardware design system
US5663889A (en) Apparatus for computing delay time of integrated circuit
US7069521B2 (en) Method and apparatus for exploring a multi-element design through user directed selective rendering
US4965758A (en) Aiding the design of an operation having timing interactions by operating a computer system
US6832359B2 (en) Apparatus and method for calculating simulation coverage
JPH0533425B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
JP3134132B2 (ja) 論理回路自動生成装置
US6877140B1 (en) Method and system for generating a schematic representing bus structures
JP2000057188A (ja) ハードウェア・ソフトウェア協調評価装置
JP2962292B2 (ja) レイアウト設計を考慮したｌｓｉ論理設計支援システム
JPH08202743A (ja) スイッチレベルシミュレーションシステム
George et al. Interactive Learning Tool for Static-1 Hazard Identification in Digital Electronic Circuits
JP2825372B2 (ja) ハードウェア構造表示装置
Morris et al. Structured abstract schematics
JP3071921B2 (ja) Ｌｓｉ設計支援装置
SU805322A1 (ru) Система дл автоматизированногопРОЕКТиРОВАНи и упРАВлЕНи TEXHO-лОгичЕСКиМи пРОцЕССАМи B МиКРОэлЕКТРО-НиКЕ
JPH11175580A (ja) 集積回路設計装置
JP2954019B2 (ja) 論理シミュレーション方式
JPH03104138A (ja) 階層設計処理方式
JPH04369079A (ja) 論理回路図出力方法
JPS6315366A (ja) 回路変換システム
Sait et al. CAD tool for the automatic generation of microprograms