[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

ZA835810B - The checking of sequential logic circuits - Google Patents

The checking of sequential logic circuits

Info

Publication number
ZA835810B
ZA835810B ZA835810A ZA835810A ZA835810B ZA 835810 B ZA835810 B ZA 835810B ZA 835810 A ZA835810 A ZA 835810A ZA 835810 A ZA835810 A ZA 835810A ZA 835810 B ZA835810 B ZA 835810B
Authority
ZA
South Africa
Prior art keywords
checking
logic circuits
sequential logic
sequential
circuits
Prior art date
Application number
ZA835810A
Other languages
English (en)
Inventor
James Howarth
Original Assignee
Int Computers 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 Int Computers Ltd filed Critical Int Computers Ltd
Publication of ZA835810B publication Critical patent/ZA835810B/xx

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G06F11/085—Error detection or correction by redundancy in data representation, e.g. by using checking codes using codes with inherent redundancy, e.g. n-out-of-m codes

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Tests Of Electronic Circuits (AREA)
ZA835810A 1982-08-14 1983-08-08 The checking of sequential logic circuits ZA835810B (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB8223437 1982-08-14

Publications (1)

Publication Number Publication Date
ZA835810B true ZA835810B (en) 1984-04-25

Family

ID=10532310

Family Applications (1)

Application Number Title Priority Date Filing Date
ZA835810A ZA835810B (en) 1982-08-14 1983-08-08 The checking of sequential logic circuits

Country Status (5)

Country Link
US (1) US4556976A (xx)
AU (1) AU557028B2 (xx)
DE (1) DE3329023A1 (xx)
FR (1) FR2531824B1 (xx)
ZA (1) ZA835810B (xx)

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4654850A (en) * 1985-01-02 1987-03-31 Rodrigues John M Tri-state in-circuit logic comparator with automatic input/output terminal discrimination
DE3718566C2 (de) * 1987-06-03 1993-10-28 Broadcast Television Syst Verfahren zur Synchronisation von auf Magnetband gespeicherten Datensignalen
US4845712A (en) * 1987-11-30 1989-07-04 Tandem Computers Incorporated State machine checker
US4987318A (en) * 1989-09-18 1991-01-22 International Business Machines Corporation High level clamp driver for wire-or buses
US5295141A (en) * 1990-12-19 1994-03-15 Bull Hn Information Systems Inc. Sensing and responding to invalid states in logic circuitry
US5606564A (en) * 1995-05-19 1997-02-25 Cirrus Logic Inc. Test logic circuit and method for verifying internal logic of an integrated circuit
US5825644A (en) * 1996-03-04 1998-10-20 Motorola, Inc. Method for encoding a state machine
US9354845B2 (en) 2011-03-16 2016-05-31 Siemens S.A.S. Device and method for maintenance filtering on a flow of coded inputs/outputs
EP3531286B1 (en) * 2018-02-26 2020-08-05 ARM Limited Circuitry
CN113049948B (zh) * 2019-07-01 2022-09-02 成都奥卡思微电科技有限公司 基于外部引入逻辑电路的形式验证断言空泛性的纠正方法、存储介质和终端

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3046523A (en) * 1958-06-23 1962-07-24 Ibm Counter checking circuit
US3470364A (en) * 1966-02-10 1969-09-30 Western Electric Co Circuit for detecting a register malfunction
US3551665A (en) * 1966-09-13 1970-12-29 Ibm Floating point binary adder utilizing completely sequential hardware
US3529141A (en) * 1967-09-05 1970-09-15 Technology Service Corp Error tolerant sequential circuits
US3567916A (en) * 1969-01-22 1971-03-02 Us Army Apparatus for parity checking a binary register
FR2056229A5 (xx) * 1969-07-31 1971-05-14 Ibm
US3633100A (en) * 1970-05-12 1972-01-04 Ibm Testing of nonlinear circuits by comparison with a reference simulation with means to eliminate errors caused by critical race conditions
US3851161A (en) * 1973-05-07 1974-11-26 Burroughs Corp Continuity network testing and fault isolating
US3805040A (en) * 1973-06-04 1974-04-16 Ibm Self-checked single bit change register
US3911261A (en) * 1974-09-09 1975-10-07 Ibm Parity prediction and checking network
US3925647A (en) * 1974-09-30 1975-12-09 Honeywell Inf Systems Parity predicting and checking logic for carry look-ahead binary adder
DE2527098C3 (de) * 1975-06-18 1978-05-11 Licentia Patent-Verwaltungs-Gmbh, 6000 Frankfurt Schaltungsanordnung zur Überprüfung der Übernahme bei digitalen Speichern
US4183459A (en) * 1978-04-24 1980-01-15 Fluke Trendar Corporation Tester for microprocessor-based systems
FR2432175A1 (fr) * 1978-07-27 1980-02-22 Cii Honeywell Bull Procede pour tester un systeme logique et systeme logique pour la mise en oeuvre de ce procede
US4358847A (en) * 1980-09-02 1982-11-09 Lehigh University Electrical circuit test apparatus and method
US4493078A (en) * 1982-09-29 1985-01-08 Siemens Corporation Method and apparatus for testing a digital computer

Also Published As

Publication number Publication date
DE3329023C2 (xx) 1991-04-25
AU1796183A (en) 1984-02-16
US4556976A (en) 1985-12-03
AU557028B2 (en) 1986-12-04
FR2531824A1 (fr) 1984-02-17
DE3329023A1 (de) 1984-02-16
FR2531824B1 (fr) 1990-11-09

Similar Documents

Publication Publication Date Title
GB2134708B (en) Integrated circuits
DE3367310D1 (en) Josephson logic circuit
IE822970L (en) Logic circuits
GB8322131D0 (en) Circuits
DE3367472D1 (en) Logic circuit
GB8327868D0 (en) Integrated circuits
DE3276990D1 (en) Josephson-junction logic circuit
GB2056805B (en) Integrated logic circuits
ZA835810B (en) The checking of sequential logic circuits
DE3374368D1 (en) Complementary logic circuit
DE3379370D1 (en) Logic device
JPS57207430A (en) Logic circuit
GB8306208D0 (en) Circuits
GB8314538D0 (en) Bistable multivibrator circuits
DE3571906D1 (en) Logic circuits
GB8422985D0 (en) Circuits
GB8411875D0 (en) Circuits
DE3273934D1 (en) Transistor-transistor logic circuits
GB8321373D0 (en) Checking sequential logic circuits
GB8312322D0 (en) Integrated circuits
GB8428092D0 (en) Logic circuits
GB2122417B (en) Integrated circuits
GB8326620D0 (en) Integrated circuits
GB2149603B (en) Logic circuits
GB2112972B (en) Logic circuit