Karim Sabra

Karim Sabra

Ingénieur en microélectronique en formation

Conception et vérification ASIC mixtes | IA/ML pour les flux de conception

À propos

Étudiant en dernière année du Diplôme d’ingénieur à CPE Lyon en Microélectronique & Physique des Semiconducteurs (diplomation 2026). J’assemble une expérience pratique en ASIC mixtes avec de la conception numérique & vérification et des approches IA/ML pour l’EDA.

Focus actuel — Vérification numérique : formation intensive Cadence en SystemVerilog, UVM, SVA et Vérification formelle avec JasperGold pour construire des environnements réutilisables et des propriétés SVA robustes.

  • Vérification numérique (SV, UVM, SVA)
  • Vérification formelle (Cadence JasperGold)
  • RTL & intégration SoC
  • ASIC mixte
  • PLL : conception & vérification
  • IA/ML pour EDA
  • Cadence Spectre & Virtuoso
  • Python, MATLAB, C
  • VHDL, SystemVerilog

Projets

Académique

Système de stationnement intelligent hétérogène, Edge AI + FPGA + MCU

2025 • En cours • Projet de synthèse
Chaîne complète sur BeagleY-AI, Nexys A7 RV32IM et STM32. Détection de plaques en temps réel sur DSP. Lien Ethernet vers FSM barrière FPGA.

Contexte : projet de récapitulatif couvrant conception numérique, Linux embarqué, RTOS, réseau et cloud. Volontairement large.

Ce que j’ai fait
  • Intégration de VexRiscv RV32IM sur Nexys A7-100T. Boot Linux manuel. Mise en service Ethernet + protocole UDP léger pour échanger les événements de plaque avec BeagleY-AI.
  • Sur BeagleY-AI, flash du TI Edge AI SDK. Pipeline IMX219 avec tiovxisp et multiscaler. Modèles TIDL sur DSP pour la détection, réglage des buffers et caps pour un débit temps réel stable.
  • FSM côté FPGA en Verilog pour piloter la barrière à la réception d’un événement. Ajout d’un stub moteurs pas-à-pas et sécurités porte.
  • Notes de bring-up caméra, script de mesure de latence et trame de télémétrie UDP minimale.
Résultats
  • Streaming + détection temps réel sur DSP, handoff Ethernet fiable vers le FPGA.
  • FSM barrière actionnée sur événements validés.
Livrables

Dépôt et docs à venir.

Suite
  • BDD clients, facturation, RFID, moteurs pour caméras/portes, matrice de capteurs, écrans d’état.
  • Tableau de bord Ops, override distant, MàJ OTA, logs et cybersécurité avec redondance de base.

Projet de conception numérique – FPGA

2025 • CPE Lyon
Métastabilité, pilote de moteur pas à pas, communication UART

Contexte : Projet académique sur FPGA couvrant la métastabilité, la conception FSM et la communication série en VHDL.

Ce que j’ai fait
  • Étude de métastabilité, synchroniseurs et vérifs temporelles.
  • Pilote moteur 28BYJ-48 + ULN2003, FSM multi-modes.
  • Diviseur d’horloge pour la vitesse et la synchro modules.
  • UART TX/RX, générateur de baud, oversampling, boucle locale.
Résultats
  • Compétences renforcées en conception numérique et prototypage FPGA.
  • FSM validées en simu et sur carte.
Livrables

Rapport complet (FR, PDF)

Projet conception de micro-capteurs

2025 • CPE Lyon (4PSM)
Chaîne complète de micro-capteurs capacitifs

Contexte : salle blanche, circuits analogiques et prototypage PCB

Ce que j’ai fait
  • Procédés salle blanche : photolitho, spin-coating, UV, dépôts métalliques.
  • Conditionnement analogique à AOP.
  • PCB sous KiCad, soudage manuel, assemblage complet.
  • Drivers STM32, timers OK, ADC partiel.
Résultats
  • Flux complet de fabrication à validation.
  • Front-end analogique opérationnel, acquisition partielle.
Livrables

Poster (FR, PDF)

Projets personnels

HOLYCORE, RV32I depuis zéro avec SystemVerilog + cocotb

2025 • En cours • Apprendre en construisant
Cœur RV32I monocycle vérifié avec cocotb. Étude ISA, micro-architecture et stratégie de test. Basé sur le tutoriel HOLY CORE avec ajouts personnels.

Contexte : montée en compétences RTL, vérification et archi. Accent sur packages propres, enums typés et contrôle lisible.

Ce que j’ai fait
  • Datapath RV32I monocycle en SystemVerilog : contrôle, ALU, sign-extend, fichier de registres, mémoires instruction/données.
  • Enums typés pour opcodes/ALU. Mémoire avec byte-enable et décodeur load/store pour accès partiels.
  • Tests cocotb unitaires et intégrés, y compris vérifs ALU randomisées et charges partielles.
  • Préparation à l’intégration SoC via interfaces claires et package de configuration.
Résultats
  • Exécution de programmes simples en simulation. ALU, loads/stores, branches et accès partiels passent la batterie actuelle.
Crédits

Suivi du tutoriel “The HOLY CORE project, A full RISC-V RV32I Core Tutorial, Single cycle edition”, avec adaptations personnelles.

Livrables

Dépôt et docs à venir.

Intégration X-HEEP + Vicuna, Prototype FPGA

2025 • Projet collaboratif avec OpenHW/EPFL
En cours — Exploration SoC open-source

Contexte : intégrer le coprocesseur vectoriel RISC-V Vicuna dans le microcontrôleur X-HEEP, pour prototypage FPGA et benchmarks.

Ce que je fais
  • Architecture X-HEEP, banques mémoire, bus, interruptions CLINT/PLIC.
  • Interface Vicuna et instructions supportées.
  • Chemin d’intégration via ports maître/esclave et core-v-x (cv32e40x).
  • Banc de simulation et tests fumée (add, mul, AXPY).
  • Bring-up FPGA et mesures temporelles.
Statut

En cours

Stack

SystemVerilog, Verilator, FuseSoC, Vivado, RISC-V GCC, FreeRTOS

Livrables prévus
  • Dépôt HDL et scripts
  • Notes d’intégration et guide
  • Benchmarks AXPY, conv 3×3, GEMM
  • Vidéo courte
Pourquoi c’est important

X-HEEP est un MCU RISC-V configurable pour attacher des accélérateurs. Vicuna est prédictible en temps, utile pour le WCET, tout en accélérant les charges parallèles.

Alternance

Alternance – CNRS IP2I (4ème année)

2024–2025 • Projet PICMIC-1
Développement d’une PLL pour l’ASIC PICMIC-1

Organisation : CNRS – Institut de Physique des 2 Infinis (IP2I), Lyon

Contexte : 2ème année d’alternance (4ème année du diplôme)

Ce que j’ai fait
  • Migration de la PLL de TSMC 130 nm vers TowerJazz 180 nm.
  • Redimensionnement des transistors et du filtre de boucle.
  • Simulations Spectre des blocs et de la boucle complète.
  • Verrouillage 1,5–2 µs, jitter ~2 ps RMS, 160 MHz stables.
  • Layout : floorplanning, guard rings, extraction des parasites.
  • Post-layout : VCO 2,58 GHz, jitter 7 ps.
Résultats
  • PLL validée et intégrée dans PICMIC-1.
  • Horloge 160 MHz stable.
  • Autonomie en layout/vérification analogique.
Livrables

Rapport 4ème année (FR, PDF)

Stage de recherche

Stage d’été – IMSE-CNM Séville

Juin–Septembre 2025 • Groupe Convertisseurs de Données
Flux d’automatisation pour modulateurs ΣΔ en temps continu

Organisation : Instituto de Microelectrónica de Sevilla (IMSE-CNM, CSIC/Université de Séville)

Contexte : stage international sous la direction du Dr José M. de la Rosa

Ce que j’ai fait
  • Revue ΣΔ CT, OSR, SNR, SNDR, ENOB.
  • Paramétrages Active-RC et Gm-C sous Spectre/OCEAN.
  • Script OCEAN unifié.
  • GUI Python Tkinter pour piloter les sweeps.
  • Datasets propres pour ML.
Résultats
  • Flux réutilisable multi-topologies.
  • Datasets nets pour entraînement.
  • Handover amélioré via GUI + rapports.
Livrables

Rapport de stage (EN, PDF)