Models and methods of digital circuit analysis for test generation and fault simulation are offered. The two-frame cubic algebra for compact description of sequential primitive element (here and further, primitive) in form of cubic coverings is used. It is used for digital circuit designing, fault simulation and fault-free simulation as well. Problems of digital circuit testing are formulated as linear equations. The described cubic fault simulation method allows to propagate primitive fault lists from its inputs to outputs; to generate analytical equations for deductive fault simulation of digital circuit at gate, functional and algorithmic description levels; to build compilative and interpretative fault simulators for digital circuit. The fault list cubic coverings (FLCC), which allow to create single sensitization paths, are proposed. The test generation method for single stuck-at fault (SSF) detection with usage of FLCC is developed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.