Conference paper
Automated proofs of microprogram correctness
W.H. Joyner, W.C. Carter, et al.
MICRO Annual Workshop 1976
A method is given of designing a simple self-checking and self-testing decoder checking circuit which uses much less circuitry than previous checkers. An analysis is given of the circuit savings and of the probability of erroneous decoder operation before error detection. Copyright © 1971 by The Institute of Electrical and Electronics Engineers, Inc.
W.H. Joyner, W.C. Carter, et al.
MICRO Annual Workshop 1976
Willard G. Bouricius, W.C. Carter, et al.
IEEE TC
W.G. Bouricius, W.C. Carter, et al.
ACM Annual Conference 1969
W.C. Carter, D.C. Jessep, et al.
IEEE TC