Designing a hazard-free checking sequence by using recurrent retrospective hulls of synchronous flip-flops

A structural logical model is proposed of a discrete-time device and is used as a tool to study a method to derive a checking test sequence of hazard-free signals.