Simulation Techniques for the Validation of Analog and Mixed Signal Circuits.
This post-doc position is opened within the ANR funded project VAL-AMS
(High Confidence Validation of Analog and Mixed Signal Circuits) :
The VAL-AMS project brings together researchers from the Laboratory Verimag and the Laboratory Jean Kuntzmann. The goal of this project is to improve the state of the art of analog and mixed signal design by investigating simulation-based analysis methods which can guarantee some level of confidence in the results. The project intends to build an experimental platform for validating the correctness of analog and mixed-signal circuits, a component of increasing importance for the functioning of modern embedded system. The platform will combine two technologies currently being developed by the partners: an efficient and physically-accurate simulator for large analog and mixed-signal circuits and the methods for covering the state space of such circuits by choosing appropriate input signals. The results of this project will offer the following scientific and technical benefits:
The methods for high confidence validation of analog and mixed signal circuits developped in this project will improve the design process, both in terms of reliability and cost. These methods can also be used to validate in various embedded systems which can be modelled by hybrid systems, such as airplane and car control systems.
The theoretical foundations developped in the project will contribute to advance the state of the art of the two domains: formal verification of continuous and hybrid systems and numerical analysis of non-smooth dynamical systems.
The recent notion of bisimulation metrics allows us to infer from a trajectory of a dynamical system, the behaviour of an infinite number of trajectories located in its neighbourhood. Thus, the validation of an infinite number of trajectories is made possible using only a finite number of numerical simulations. Particularly, the postdoctoral fellow will work on the following problems:
Definition of algorithms for the selection of the trajectories that need to be simulated. The goal is to find efficient strategies allowing the minimization of the number of numerical simulations needed for the validation of the system.
Development of bisimulation metrics for models of analog and mixed signal circuits.
Full description here!
This announcement is accessible through the Artist portal's homepage until April 23rd, 2008.
Beyond that date, it remains accessible through here.