A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation

Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra. A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation. J. Electronic Testing, 21(5):503-537, 2005. [doi]

Abstract

Abstract is missing.