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

 Axel Legay
Tuesday, February 24 2009 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
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.

About LSV