Imed MABROUK
Ingénieur de Conception, ARION Entreprise: DMAP
Dans mes derniers projets j'ai travaillé sur la vérification FPGA.
J'ai beaucoup appris sur l'aspect certification et les contraintes que cela rajoute surtout quand il s'agit d'un projet critique (domaine de l’aéronautique par exemple).
J'ai travaillé sur des projets qui sont certifiés DO-254.
224 contacts1-Formation approfondie en DO 254
2-Verification FPGA
Domaine: Spatial
2011 - 2012Vérification de design FPGA
(DO254 certification, level B, SagemSD, Airbus, Aéronautique ...)
2010 - 2011Suite de la mission du projet de fin d'études.
Contexte Général : Sécurité-Cryptographie: Concours SHA-3.
Objectif: Implémentation/Optimisation hardware d’ECHO : candidat Orange Labs au SHA-3 avec la réalisation d'une version bas coût.
Environnement technique : VHDL, C, PERL, Windows, Linux, ModelSim, Xilinx ISE, FPGAXilinx, Visio, LaTeX
2010 - 2010Contexte Général : Sécurité-Cryptographie, Concours SHA-3 lancé par l'agence fédérale américaine de technologie (NIST) dont l'objectif est de définir un nouveau standard cryptographique.
Sujet : Implémentation/Optimisation hardware d’ECHO : candidat Orange Labs au SHA-3 avec la réalisation d'une version haut débit et une version bas coût.
Bilan : Notre implémentation "haut débit" est publiée sur le site ECRYPT II regroupant toutes les implémentations hardware de touts les candidats SHA-3 (Mabrouk and Benadjila, référence [28] ) sur
http://ehash.iaik.tugraz.at/wiki/SHA-3_Hardware...
Environnement technique : VHDL, C, PERL, Windows, Linux, ModelSim, Xilinx ISE, FPGAXilinx, Visio, LaTeX
2008 - 2009Contexte Général : Télécoms, industrie grand public (exemple: imprimantes multifonctions)
Contenu:
1. Etude/application de la technique du 'Halftoning' sur des images de tests.
2. Etude/amélioration de l'obsolescence d'un projet en Verilog.
3. Reverse Engineering et documentations.