Colloque

On The Formal Verification of Analog and Mixed Signal Designs

Sofiane Tahar

Membre a labase

Sofiane Tahar

Résumé de la communication

Embedded systems are becoming a core technology in a growing range of consumer and other electronic devices. Cornerstones of embedded systems are analog and mixed signal (AMS) designs, which are integrated circuits required at the interfaces with the real world environment. The verification of AMS designs is concerned with the assurance of correct functionality, in addition to checking robustness with respect to different types of inaccuracies like parameter tolerances, nonlinearities, etc. In this talk, we review recent research on the application of formal methods to the verification of AMS designs. Formal verification is a technology based on using computerized algorithms to the mathematical reasoning about the correctness of designs and has been used in the past two decades exclusively for digital design and software verification. We present some of the most successful approaches based on techniques such as Model Checking, Constraint based verification, Run-time verification, and Assertion based verification. These approaches handle continuous as well as discrete-time AMS designs with both linear and non-linear behaviors. To illustrate the above techniques, we use several examples of analog and mixed signal systems, like oscillator circuits, switched capacitor based designs, Delta-Sigma modulators, PLLs, etc.

Résumé du colloque

Notre colloque accueillera un conférencier invité de marque, expert reconnu internationalement et chef de fil dans l’un des thèmes liés au sujet principal. Ceci permettra de hausser le calibre du colloque et s’assurer d’une participation maximale de nos membres et leurs étudiants aux cycles supérieurs, ainsi que de la part de tous ceux qui sont impliqués dans la recherche tant au niveau académique qu’industriel.