Property-Based Monitoring of Analog and Mixed-Signal Systems.

John Havlicek Scott Little Oded Maler Dejan Nickovic

Published in: FORMATS (2010)

Keyphrases

mixed signal
low power
vlsi circuits
multi channel
digital circuits
monitoring system
embedded systems