GB1362314A - Method for programming a computer to simulate a digital circuit - Google Patents
Method for programming a computer to simulate a digital circuitInfo
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/261—Functional testing by simulating additional hardware, e.g. fault simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design 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.
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)
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 |
-
1972
- 1972-08-08 GB GB3691672A patent/GB1362314A/en not_active Expired
Cited By (2)
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 |