Dynamic and Deductive Fault Simulation
A. Miara, Norbert Giambiasi · Design Automation Conference · 1978
In this paper, the authors present an extension of a dynamic logical network simulation to a dynamic deductive fault simulation.In this paper, we present a model which allows the dynamic propagation of both logical transitions and fault lists. An convenient algorithm has been deduced from this model. Its implementation gives a simple and efficient simulation called “SIMDE”. Finally, an example will be given to illustrate the propagation procedure.