Login / Signup
A Formal Approach to On-Line Monitoring of Digital VLSI Circuits: Theory, Design and Implementation.
Santosh Biswas
Siddhartha Mukhopadhyay
Amit Patra
Published in:
J. Electron. Test. (2005)
Keyphrases
</>
vlsi circuits
mixed signal
circuit design
formal methods
implementation issues
monitoring system
design considerations
design process
low power
ultra low power
real time
mathematical theory
design methodology
formal model
digital images
formal descriptions
analog to digital converter
image processing