GB1362314A - Method for programming a computer to simulate a digital circuit - Google Patents

Method for programming a computer to simulate a digital circuit

Info

Publication number
GB1362314A
GB1362314A GB3691672A GB3691672A GB1362314A GB 1362314 A GB1362314 A GB 1362314A GB 3691672 A GB3691672 A GB 3691672A GB 3691672 A GB3691672 A GB 3691672A GB 1362314 A GB1362314 A GB 1362314A
Authority
GB
United Kingdom
Prior art keywords
simulation
fault
logic
affected
diagnostic
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
GB3691672A
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.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
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 International Business Machines Corp filed Critical International Business Machines Corp
Priority to GB3691672A priority Critical patent/GB1362314A/en
Publication of GB1362314A publication Critical patent/GB1362314A/en
Expired legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26Functional testing
    • G06F11/261Functional testing by simulating additional hardware, e.g. fault simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR 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)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Quality & Reliability (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

1362314 Data processing; diagnostic programs INTERNATIONAL BUSINESS MACHINES CORP 8 Aug 1972 36916/72 Heading G4A A fault simulation technique used in diagnostic programs for digital computers is disclosed. Fault simulation is used to determine the coverage and resolution of the diagnostic (i.e. the numbers of failures detected and their distinguishing level), to improve the diagnostic program and to prepare the failure documentation for the customer engineer. The described technique simulates only those logic circuits that might be affected by a given set of input changes (significant event simulation). Initially test patterns 12 and the computer circuit description 13 are fed into a non-failing machine simulation cycle 11a to produce an all events trace (AET) 14 which records the circuit activity on receipt of the test patterns without any failures..Then a fault simulation cycle 11b is entered during which a failure (or a group of failures) is simulated for the logic circuit, the initial effects are propagated, a good machine logic value change is read from the AET and the circuit value table is either updated from this, or if the logic is affected by the fault, fresh values are calculated. The fault affected logic is determined by three flags. The fact that only the fault affected area has its values recalculated is stated to reduce simulation time. The simulation is preferably applied to a three valued (0, 1, don't know) unit delay system.
GB3691672A 1972-08-08 1972-08-08 Method for programming a computer to simulate a digital circuit Expired GB1362314A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB3691672A GB1362314A (en) 1972-08-08 1972-08-08 Method for programming a computer to simulate a digital circuit

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB3691672A GB1362314A (en) 1972-08-08 1972-08-08 Method for programming a computer to simulate a digital circuit

Publications (1)

Publication Number Publication Date
GB1362314A true GB1362314A (en) 1974-08-07

Family

ID=10392214

Family Applications (1)

Application Number Title Priority Date Filing Date
GB3691672A Expired GB1362314A (en) 1972-08-08 1972-08-08 Method for programming a computer to simulate a digital circuit

Country Status (1)

Country Link
GB (1) GB1362314A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0021404A1 (en) * 1979-06-29 1981-01-07 International Business Machines Corporation Computing system for the simulation of logic operations
US4459695A (en) * 1979-11-07 1984-07-10 Davy Mcgee (Sheffield) Limited Fault finding in an industrial installation by means of a computer

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0021404A1 (en) * 1979-06-29 1981-01-07 International Business Machines Corporation Computing system for the simulation of logic operations
US4459695A (en) * 1979-11-07 1984-07-10 Davy Mcgee (Sheffield) Limited Fault finding in an industrial installation by means of a computer

Similar Documents

Publication Publication Date Title
Jephson et al. A three-value computer design verification system
US3519808A (en) Testing and repair of electronic digital computers
GB1253648A (en) Improvements in or relating to computing systems
GB1137778A (en) Data processing apparatus
GB1421936A (en) Testing integrated circuits
GB1070421A (en) Improvements in or relating to computer error checking circuitry
GB1362314A (en) Method for programming a computer to simulate a digital circuit
GB1306702A (en) Methods and devices for comiling a fault dictionary
GB1340157A (en) Testing logic circuits
GB1247746A (en) Data processing machines
JPS6141017B2 (en)
GB1389319A (en) Data processing system
GB1271595A (en) Digital computer simulation system
EP1025500B1 (en) Method and device for system simulation of microcontrollers/microprocessors and corresponding peripheral modules
US3117219A (en) Electrical circuit operation monitoring apparatus
Giambiasi et al. SILOG: a practical tool for large digital network simulation
JPS56147205A (en) Software automatic testing system of programmable controller
JP2957016B2 (en) Delay failure simulation method
SU949660A1 (en) Device for collecting and registering statistic data
SU643955A1 (en) Device for teaching operators of electronic equipment
JPS59226949A (en) Information processor
JPH01112342A (en) Method for simulating logic circuit
JPS63200250A (en) Pseudo fault generating system for cache memory device
Kjelkerud A system of computer programs for efficient test generation for combinational switching circuits
SU484521A1 (en) Device for detecting errors in digital machines

Legal Events

Date Code Title Description
PS Patent sealed
PLNP Patent lapsed through nonpayment of renewal fees