JPS6136262B2 - - Google Patents

Info

Publication number
JPS6136262B2
JPS6136262B2 JP54059354A JP5935479A JPS6136262B2 JP S6136262 B2 JPS6136262 B2 JP S6136262B2 JP 54059354 A JP54059354 A JP 54059354A JP 5935479 A JP5935479 A JP 5935479A JP S6136262 B2 JPS6136262 B2 JP S6136262B2
Authority
JP
Japan
Prior art keywords
circuit
simulation
integrated circuit
output signal
purpose computer
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
Application number
JP54059354A
Other languages
English (en)
Japanese (ja)
Other versions
JPS55153054A (en
Inventor
Masayuki Myoshi
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 JP5935479A priority Critical patent/JPS55153054A/ja
Priority to US06/149,547 priority patent/US4342093A/en
Publication of JPS55153054A publication Critical patent/JPS55153054A/ja
Publication of JPS6136262B2 publication Critical patent/JPS6136262B2/ja
Granted legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)
  • Executing Machine-Instructions (AREA)
JP5935479A 1979-05-15 1979-05-15 Logic circuit simulation system Granted JPS55153054A (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP5935479A JPS55153054A (en) 1979-05-15 1979-05-15 Logic circuit simulation system
US06/149,547 US4342093A (en) 1979-05-15 1980-05-13 Method of digital logic simulation

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP5935479A JPS55153054A (en) 1979-05-15 1979-05-15 Logic circuit simulation system

Publications (2)

Publication Number Publication Date
JPS55153054A JPS55153054A (en) 1980-11-28
JPS6136262B2 true JPS6136262B2 (en, 2012) 1986-08-18

Family

ID=13110846

Family Applications (1)

Application Number Title Priority Date Filing Date
JP5935479A Granted JPS55153054A (en) 1979-05-15 1979-05-15 Logic circuit simulation system

Country Status (2)

Country Link
US (1) US4342093A (en, 2012)
JP (1) JPS55153054A (en, 2012)

Families Citing this family (47)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5884305A (ja) * 1981-11-12 1983-05-20 Mitsubishi Electric Corp シミユレ−シヨン装置
US4513384A (en) * 1982-06-18 1985-04-23 Therma-Wave, Inc. Thin film thickness measurements and depth profiling utilizing a thermal wave detection system
GB8309692D0 (en) * 1983-04-09 1983-05-11 Int Computers Ltd Verifying design of digital electronic systems
US4617663A (en) * 1983-04-13 1986-10-14 At&T Information Systems Inc. Interface testing of software systems
US4635218A (en) * 1983-05-09 1987-01-06 Valid Logic Systems Method for simulating system operation of static and dynamic circuit devices
US4590581A (en) * 1983-05-09 1986-05-20 Valid Logic Systems, Inc. Method and apparatus for modeling systems of complex circuits
US4587625A (en) * 1983-07-05 1986-05-06 Motorola Inc. Processor for simulating digital structures
JPS6091455A (ja) * 1983-10-24 1985-05-22 Fujitsu Ltd 論理回路のシミユレ−シヨン方式
JPS60102312A (ja) * 1983-11-02 1985-06-06 Mitsubishi Electric Corp シミユレ−シヨン装置
WO1985002033A1 (en) * 1983-11-03 1985-05-09 Prime Computer, Inc. Digital system simulation method and apparatus
US4628471A (en) * 1984-02-02 1986-12-09 Prime Computer, Inc. Digital system simulation method and apparatus having two signal-level modes of operation
FR2567273B1 (fr) * 1984-07-03 1986-11-14 Commissariat Energie Atomique Dispositif de simulation de la defaillance ou du bon fonctionnement d'un systeme logique
JPS61102569A (ja) * 1984-10-26 1986-05-21 Hitachi Ltd 高速論理シミユレ−シヨン装置
JPH0760169B2 (ja) * 1984-11-02 1995-06-28 三洋電機株式会社 論理回路のシミュレーション方法及びシミュレータ
US4694411A (en) * 1985-02-04 1987-09-15 Sanders Associates, Inc. Simulation apparatus and method
US5056014A (en) * 1985-02-04 1991-10-08 Lockheed Sanders, Inc. Network simulation system
US4725970A (en) * 1985-02-05 1988-02-16 Sanders Associates, Inc. Simulation device
JPH0743733B2 (ja) * 1985-12-11 1995-05-15 株式会社日立製作所 論理シミュレーション方法
JPS62182939A (ja) * 1986-02-07 1987-08-11 Hitachi Ltd 情報処理装置の論理シミユレ−シヨン方法
US4744084A (en) * 1986-02-27 1988-05-10 Mentor Graphics Corporation Hardware modeling system and method for simulating portions of electrical circuits
JPS62251843A (ja) * 1986-04-25 1987-11-02 Hitachi Ltd 論理シミユレ−シヨン方法および装置
EP0248268B1 (de) * 1986-06-06 1993-03-31 Siemens Aktiengesellschaft Verfahren zur Simulation eines Verzögerungsfehlers in einer Logikschaltung und Anordnungen zur Durchführung des Verfahrens
ATE87755T1 (de) * 1986-06-06 1993-04-15 Siemens Ag Verfahren zur simulation eines unterbrechungsfehlers in einer logikschaltung mit feldeffekttransistoren und anordnungen zur durchfuehrung des verfahrens.
US4787061A (en) * 1986-06-25 1988-11-22 Ikos Systems, Inc. Dual delay mode pipelined logic simulator
US5126966A (en) * 1986-06-25 1992-06-30 Ikos Systems, Inc. High speed logic simulation system with stimulus engine using independent event channels selectively driven by independent stimulus programs
US4727545A (en) * 1986-09-02 1988-02-23 Digital Equipment Corporation Method and apparatus for isolating faults in a digital logic circuit
JP2636221B2 (ja) * 1986-09-09 1997-07-30 株式会社日立製作所 部分テスト項目作成方法
JPS6381567A (ja) * 1986-09-26 1988-04-12 Hitachi Ltd 論理シミユレ−シヨン処理装置
US4736338A (en) * 1986-10-07 1988-04-05 Silicon Solutions Corporation Programmable look up system
JPH07120359B2 (ja) * 1986-10-21 1995-12-20 日本電気株式会社 ハードウェアシミュレータにおけるシミュレーション方法
US4792913A (en) * 1986-11-03 1988-12-20 Grumman Aerospace Corporation Simulator for systems having analog and digital portions
JPS63145549A (ja) * 1986-12-09 1988-06-17 Hitachi Ltd 論理回路シミユレ−シヨン方法
US4817011A (en) * 1987-01-20 1989-03-28 Honeywell, Inc. Automated modeling method for tuning transformers
US4866663A (en) * 1987-02-13 1989-09-12 Sanders Associates, Inc. Simulation system
US4827427A (en) * 1987-03-05 1989-05-02 Hyduke Stanley M Instantaneous incremental compiler for producing logic circuit designs
US4956767A (en) * 1988-02-23 1990-09-11 Stellar Computer, Inc. Data processing system with model for status accumulating operation by simulating sequence of arithmetic steps performed by arithmetic processor
US4901259A (en) * 1988-08-15 1990-02-13 Lsi Logic Corporation Asic emulator
US5125098A (en) * 1989-10-06 1992-06-23 Sanders Associates, Inc. Finite state-machine employing a content-addressable memory
US5053991A (en) * 1989-10-06 1991-10-01 Sanders Associates, Inc. Content-addressable memory with soft-match capability
US5210699A (en) * 1989-12-18 1993-05-11 Siemens Components, Inc. Process for extracting logic from transistor and resistor data representations of circuits
US5661661A (en) * 1990-12-21 1997-08-26 Synopsys, Inc. Method for processing a hardware independent user description to generate logic circuit elements including flip-flops, latches, and three-state buffers and combinations thereof
EP0508619A2 (en) * 1991-04-11 1992-10-14 Hewlett-Packard Company Bi-directional socket stimulus interface for a logic simulator
JPH0561930A (ja) * 1991-08-30 1993-03-12 Nec Corp Cadシステム
US5392227A (en) * 1992-07-24 1995-02-21 Logic Modeling Corporation System and method for generating electronic circuit simulation models having improved accuracy
GB2303230B (en) * 1995-07-13 1998-08-12 Advanced Risc Mach Ltd Digital circuit simulation
US6397170B1 (en) 1998-08-18 2002-05-28 International Business Machines Corporation Simulation based power optimization
WO2006101836A2 (en) * 2005-03-16 2006-09-28 Gaterocket, Inc. Fpga emulation system

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3927371A (en) * 1974-02-19 1975-12-16 Ibm Test system for large scale integrated circuits
JPS5431863B2 (en, 2012) * 1975-01-17 1979-10-09

Also Published As

Publication number Publication date
JPS55153054A (en) 1980-11-28
US4342093A (en) 1982-07-27

Similar Documents

Publication Publication Date Title
JPS6136262B2 (en, 2012)
US6353906B1 (en) Testing synchronization circuitry using digital simulation
JPH0533426B2 (en, 2012)
JPH06103507B2 (ja) パルス入出力プロセッサ及びそれを用いたマイクロコンピュータ
US4163291A (en) Input-output control circuit for FIFO memory
JPS62117001A (ja) プログラマブルシ−ケンスコントロ−ラの入出力処理方法
US5465383A (en) System for forming test patterns for large scale integrated circuits
JPS6142355B2 (en, 2012)
US20170329732A1 (en) Method for temporally synchronizing the output and/or temporally synchronizing the processing of signals
JPS6112283B2 (en, 2012)
JPS6323563B2 (en, 2012)
JP3191183B2 (ja) スキャンテスト制御ゲート挿入方式
JP2575025B2 (ja) インサ−キット・エミュレ−タ
JPH0457031B2 (en, 2012)
CN117610471A (zh) 消除无时序网表仿真竞争冒险的方法、系统、设备及介质
JPH083797B2 (ja) マイコン論理シミュレーション方法
JPS5952353A (ja) タイムチヤ−ト出力方式
JPH06259495A (ja) 論理シミュレーション方式
JPS61127227A (ja) 論理モジユ−ル
JPH0821043B2 (ja) シミュレーション方法
JPS581810B2 (ja) ラッチ回路
JPH0248742A (ja) 論理シミュレーション装置
JPH06243190A (ja) 論理シミュレータ
JPS61184471A (ja) シミユレ−タ
JPH02130633A (ja) プログラムのオンライン編集方法