Self-checking FSMs based on a constant distance state encoding. - Cristiana Bolchini; R. Montandon; Fabio Salice; Donatella Sciuto (DFT, 1995)

Design of VHDL-based totally self-checking finite-state machine and data-path descriptions. - Cristiana Bolchini; R. Montandon; Fabio Salice; Donatella Sciuto (IEEE Trans. Very Large Scale Integr. Syst., 2000)