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

Sat, 01 Jan 2005 00:00:00 +0100

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