LSV Seminar
The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Past Seminars
On Simulation-Based Probabilistic Model Checking of Mixed-Analog Circuits
- Date
- Tuesday, February 24 2009 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Axel Legay (INRIA, Rennes)
In this talk, we consider verifying properties of mixed-signal circuits, i.e.,
circuits for which there is an interaction between analog (continuous) and
digital (discrete) values. We use a simulation-based approach that consists of
evaluating the property on a representative subset of behaviors, generated by
simulation, and answering the question of whether the circuit satisfies the
property with a probability greater than or equal to some value. We propose a
logic adapted to the specification of properties of mixed-signal circuits, in
the temporal domain as well as in the frequency domain. We also demonstrate
the applicability of the method on different models of Δ-Σ modulators
for which previous formal verification attempts were too conservative and
required excessive computation time.
With Alexandre Donzé and Edmund Clarke.