Relaxation-based computation of a synchronous sequential circuit stable state. - Magatte Diouf; Charles-Henri Carlin (Int. J. Circuit Theory Appl., 1992)