Verimag
- Stagiaire en méthode de vérification formelle
2004 - 2004Preuve mathématique de la possibilité de synthèse de programmes à partir de propriété et spécifications décrites en logique CTL. Introduction aux méthodes de vérification formelle notamment PSL.
ST Microelectronics
- Ingénieur vérification fonctionnelle des ASIC en SPECMAN
2004 - 2008COMPETENCES:
====================
Vérification
• Expert en SPECMAN et en langage e utilisés intensivement depuis plus de 3 ans.
• Maîtrise de la méthodologie eRM (e Reuse Methodology) pour la conception des environnements de vérification garantissant une réutilisation optimale au niveau système.
• Extraction des fonctionnalités cibles à vérifier depuis le document de spécification, planification du projet, identification des scénarios de tests et assertions à coder, suivi des métriques de couvertures fonctionnelles et notification des résultats dans le rapport final.
• Catalogue des IP validés: ARM PrimeCell SSP, DMA Controller, UART, Flash Memory Interface
Outils et Langages
• Simulateurs : NC-Sim et Modelsim sous UNIX
• vManager, Certitude
• VHDL, C/C++, PSL
• Script shell, makefile
• eVC : APB, AHB, UART
Communication
• Contact privilégié avec les consultants en Vérification de Cadence. Références disponibles sur demande.
• Environnement de travail multisite et multiculturel (Bristol, Rousset, Catania).
• Encadrement des projets de fin d'études de deux élèves ingénieurs.
Bilan
• Performance notée 'B' sur une échelle de 'A' à 'F' deux ans consécutivement lors des entretiens d'évaluation annuels.
ST Microelectronics
- Ingénieur vérification ASIC
2004 - 2008
Telnet
- Stagiaire
2003 - 2003Network and Software Engineering Internship, TELNET, a high-tech engineering services company, Tunisia
Programmed the embedded application of an ATMEL 89C51 microcontroller based board that operates as an interface between the RS232 port of a PC on one side and a CAN bus on the other. The application serves to remotely control a step motor.
Architected and implemented a windows based application that enables the control of the step motor through the PC Serial Port connected to the former board. The graphical application was designed using Visual Studio.
