Publication | Closed Access
Fault-based automatic test generator for linear analog circuits
62
Citations
7
References
2002
Year
EngineeringVerificationAnalog VerificationTest GeneratorFormal VerificationReliability EngineeringSystems EngineeringLinear Analog CircuitsSystem TestingComputer EngineeringHierarchical Fault ModelsBuilt-in Self-testDesign For TestingProgram AnalysisSoftware TestingFormal MethodsSpecification TestingFault InjectionAnalog Behavioral Modeling
Recognizing that specification testing of analog circuits involves a high cost and lacks any quantitative measure of the testing process, we adopt a fault-based technique. With the help of hierarchical fault models for parametric and catastrophic faults, and a very efficient fault simulator, our simulation-assisted technique automatically determines the test frequencies to detect AC faults in linear analog circuits. By a suitable choice of parameters in the test generator, we can either determine the best test (maximize the error between the good and the faulty responses) for every fault (resulting in a large test set), or generate the smallest test set for all the faults. Finally, fault coverage values provide a quantitative evaluation of the final test set.
| Year | Citations | |
|---|---|---|
Page 1
Page 1