VALMEM
Contact : Pirouz.Bazargan-Sabet (at) nulllip6.frFrom 01/01/2007 to 12/31/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