Low-level error recovery mechanism for self-checking sequential circuits | Publicación