JPS55153054A - Logic circuit simulation system - Google Patents

Logic circuit simulation system

Info

Publication number
JPS55153054A
JPS55153054A JP5935479A JP5935479A JPS55153054A JP S55153054 A JPS55153054 A JP S55153054A JP 5935479 A JP5935479 A JP 5935479A JP 5935479 A JP5935479 A JP 5935479A JP S55153054 A JPS55153054 A JP S55153054A
Authority
JP
Japan
Prior art keywords
output signal
circuit
integrated circuit
circuit simulation
output
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
JP5935479A
Other languages
English (en)
Japanese (ja)
Other versions
JPS6136262B2 (enExample
Inventor
Masayuki Miyoshi
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 true JPS55153054A (en) 1980-11-28
JPS6136262B2 JPS6136262B2 (enExample) 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 (enExample)
JP (1) JPS55153054A (enExample)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6063644A (ja) * 1983-05-09 1985-04-12 ロジック・モデリング・コーポレーション デイジタル装置の動作のモデリング方法及び装置
JPS6091455A (ja) * 1983-10-24 1985-05-22 Fujitsu Ltd 論理回路のシミユレ−シヨン方式
US4744084A (en) * 1986-02-27 1988-05-10 Mentor Graphics Corporation Hardware modeling system and method for simulating portions of electrical circuits
JPH0561930A (ja) * 1991-08-30 1993-03-12 Nec Corp Cadシステム

Families Citing this family (43)

* 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
US4587625A (en) * 1983-07-05 1986-05-06 Motorola Inc. Processor for simulating digital structures
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 情報処理装置の論理シミユレ−シヨン方法
JPS62251843A (ja) * 1986-04-25 1987-11-02 Hitachi Ltd 論理シミユレ−シヨン方法および装置
DE3785084D1 (de) * 1986-06-06 1993-05-06 Siemens Ag Verfahren zur simulation eines unterbrechungsfehlers in einer logikschaltung mit feldeffekttransistoren und anordnungen zur durchfuehrung des verfahrens.
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
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
US4787061A (en) * 1986-06-25 1988-11-22 Ikos Systems, Inc. Dual delay mode pipelined logic simulator
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
US5680318A (en) * 1990-12-21 1997-10-21 Synopsys Inc. Synthesizer for generating a logic network using a hardware independent description
EP0508619A2 (en) * 1991-04-11 1992-10-14 Hewlett-Packard Company Bi-directional socket stimulus interface for a logic simulator
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
US8000954B2 (en) * 2005-03-16 2011-08-16 Gaterocket, Inc. FPGA emulation system

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5185344A (enExample) * 1975-01-17 1976-07-26 Hitachi Ltd

Family Cites Families (1)

* 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

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5185344A (enExample) * 1975-01-17 1976-07-26 Hitachi Ltd

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6063644A (ja) * 1983-05-09 1985-04-12 ロジック・モデリング・コーポレーション デイジタル装置の動作のモデリング方法及び装置
JPS6091455A (ja) * 1983-10-24 1985-05-22 Fujitsu Ltd 論理回路のシミユレ−シヨン方式
US4744084A (en) * 1986-02-27 1988-05-10 Mentor Graphics Corporation Hardware modeling system and method for simulating portions of electrical circuits
JPH0561930A (ja) * 1991-08-30 1993-03-12 Nec Corp Cadシステム

Also Published As

Publication number Publication date
JPS6136262B2 (enExample) 1986-08-18
US4342093A (en) 1982-07-27

Similar Documents

Publication Publication Date Title
JPS55153054A (en) Logic circuit simulation system
JPS55127601A (en) Process controller
JPS5537623A (en) Sequence programmer
JPS54117883A (en) Numerical control device
JPS5423343A (en) Microprogram controller
JPS5474090A (en) Sequence controller
JPS5727360A (en) Accumulation instruction processing system
JPS54132142A (en) Input/output device identifying system for electronic computer system
JPS5769344A (en) Controller of stored program
JPS5559579A (en) Sequence controller
JPS5533230A (en) Microinstruction generator
JPS5588140A (en) Address branch system of microprogram controller
JPS54145447A (en) Input-output control system
JPS5445550A (en) Digital protection control unit
JPS5467348A (en) Microprogram control system
JPS5682927A (en) Method and device for inputting and outputting data
JPS55135943A (en) Operation processing device
JPS5635211A (en) Sequence control device
JPS5595159A (en) Performance appreciation system
JPS5580152A (en) Multiplication system
JPS5667453A (en) Information processor with data generation part
JPS5453843A (en) Microprogram control-system data processing unit
JPS5659356A (en) Electronic computer
JPS5625281A (en) Address control system
JPS5475960A (en) Microprogram address control system