JPS6383840A - 論理検証支援装置 - Google Patents

論理検証支援装置

Info

Publication number
JPS6383840A
JPS6383840A JP61228308A JP22830886A JPS6383840A JP S6383840 A JPS6383840 A JP S6383840A JP 61228308 A JP61228308 A JP 61228308A JP 22830886 A JP22830886 A JP 22830886A JP S6383840 A JPS6383840 A JP S6383840A
Authority
JP
Japan
Prior art keywords
verification
logic
circuit
storage device
logical
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.)
Granted
Application number
JP61228308A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0533425B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html
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 true JPS6383840A (ja) 1988-04-14
JPH0533425B2 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)

Cited By (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 論理回路の作図及びシミュレーション装置

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS60101673A (ja) * 1983-10-13 1985-06-05 シラス・コンピユーターズ・リミテツド 視覚表示型論理シユミレーシヨン・システム
JPS6154567A (ja) * 1984-08-24 1986-03-18 Hitachi Ltd シミユレ−シヨン方法および装置
JPS61130992A (ja) * 1984-11-30 1986-06-18 日本電気株式会社 論理動作表示装置

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS60101673A (ja) * 1983-10-13 1985-06-05 シラス・コンピユーターズ・リミテツド 視覚表示型論理シユミレーシヨン・システム
JPS6154567A (ja) * 1984-08-24 1986-03-18 Hitachi Ltd シミユレ−シヨン方法および装置
JPS61130992A (ja) * 1984-11-30 1986-06-18 日本電気株式会社 論理動作表示装置

Cited By (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 論理回路の作図及びシミュレーション装置

Also Published As

Publication number Publication date
JPH0533425B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) 1993-05-19

Similar Documents

Publication Publication Date Title
US5557774A (en) Method for making test environmental programs
JP2856640B2 (ja) 論理回路図エディタシステム
JPH01309185A (ja) Ａｓｉｃ用計算機支援設計システム
US5615124A (en) Autonomous evolution type hardware design system
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
JPS6383840A (ja) 論理検証支援装置
US6877140B1 (en) Method and system for generating a schematic representing bus structures
JP3134132B2 (ja) 論理回路自動生成装置
George et al. Interactive Learning Tool for Static-1 Hazard Identification in Digital Electronic Circuits
JPH08202743A (ja) スイッチレベルシミュレーションシステム
JP2962292B2 (ja) レイアウト設計を考慮したｌｓｉ論理設計支援システム
JP3196985B2 (ja) データパス表示装置
JP2000242684A (ja) 機能合成方法，機能合成装置およびその記録媒体
CN101901145A (zh) 图控化程序单晶片的方法
JP2825372B2 (ja) ハードウェア構造表示装置
JPH11175580A (ja) 集積回路設計装置
JPS59117660A (ja) シミユレ−シヨン状態復元処理方式
Shewring et al. An integrated approach to the design and implementation of image filters
US20020004919A1 (en) Method for locating functional mistakes in digital circuit designs
JPS6295473A (ja) 論理回路図表示装置
JPH01133176A (ja) 論理回路ブロック切出しシステム
Rawls Jr Advanced visual D-algorithm
Stroud KSL: University of Kentucky Simulation Language
Tavangarian VHDL-based simulation of electronic circuits and systems