Computer · 1971 · 16 citations · 16 references
ComputingComputer EngineeringElectrical EngineeringFault ToleranceFault-tolerant ComputingFormal MethodsDiagnosisError DetectionFailure DetectionFault DetectionFault DiagnosisVerificationFault Detection In InstrumentationFault SimulationHardware Fault DetectionHardware VerificationLogic Network AnalysisVerification Of Integrated Circuits
Fundamental to the usefulness of any device, instrument or system are the initial verification of its correct functioning and the maintenance of its performance during ing operation. The following discussion is concerned with such problems of initial verification and maintenance for digital systems. Systems can fail to function properly either because of incorrect specification, design, or implementation; or else because of physical deterioration or damage. Problems caused by incorrect specification are extremely difficult to deal with formally. Many cases of faulty design or implementation can be detected either by formal analysis techniques (e.g., logic circuit analysis) or by simulation methods. Of course, actual physical implentations such as integrated circuits must be subjected to measurement before final acceptance. This process of measuring the output response with specified signals applied to the inputs is called testing and is useful both for initial acceptance and also for verification of continued validity during use.
16
Introduction to the theory of finite-state machines
S. Seshu · Proceedings of the IEEE · 1963 · 546 citations
Fault detecting experiments for sequential circuits
F. C. Hennine · 1964 · 428 citations