VALMEM

Contact : Pirouz.Bazargan-Sabet (at) nulllip6.fr
Du 01/01/2007 au 31/12/2010

Validation fonctionnelle et temporelle de mémoires embarquées, décrites au niveau transistor, par des méthodes formelles.

STMicroelectronics, Laboratoire Spécification et Vérification (LSV)
ANR

Pirouz BAZARGAN-SABET