"Design of VHDL-based totally self-checking finite-state machine and ..."

Cristiana Bolchini et al. (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics