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… (More)
In this paper, the authors present a set of simulators for complex logical networks. On side of a briefly description of the simulators, emphasis is placed on developing user facilities.
In this paper, the authors describe methods for generalized deductive fault simulation of digital networks. By introducing the notion of unknown fault list, the propagation algorithm through gates modelized with rise and fall times are simplified with the same accuracy.