Karim Sabra

Karim Sabra

Microelectronics Engineer in training

Mixed-signal ASIC design and verification | AI/ML for circuit design flows

About

Final-year Master’s student in Microelectronics Engineering & Semiconductor Physics at CPE Lyon (Diplôme d’ingénieur, graduating 2026). I combine hands-on mixed-signal ASIC design with digital design & verification and AI/ML for EDA.

Current focus, Digital Verification: intensive Cadence training in SystemVerilog, UVM, SVA, and Formal Verification with JasperGold, building reusable environments and property-based verification for robust sign-off.

  • Digital verification (SV, UVM, SVA)
  • Formal (Cadence JasperGold)
  • RTL & SoC design
  • Mixed-signal ASIC
  • PLL design & verification
  • AI/ML for EDA
  • Cadence Spectre & Virtuoso
  • Python, MATLAB, C
  • VHDL, SystemVerilog

Projects

Academic

Heterogeneous Smart Parking System, Edge AI + FPGA + MCU

2025 • Ongoing • Capstone
End-to-end parking system on BeagleY-AI, Nexys A7 RV32IM, and STM32. Real-time plate detection on DSP cores. Ethernet link to FPGA barrier FSM.

Context: Wrap-up project across digital design, embedded Linux, RTOS, networking, and cloud. Breadth over depth by design.

What I did
  • Integrated VexRiscv RV32IM on Nexys A7-100T. Manual Linux boot. Brought up Ethernet and a lightweight UDP protocol to exchange plate events with BeagleY-AI.
  • On BeagleY-AI, flashed TI Edge AI SDK. Configured IMX219 pipeline with tiovxisp and multiscaler. Used TIDL models on DSP cores for plate detection. Tuned buffers and caps for stable real-time throughput.
  • Wrote the FPGA side FSM in Verilog to drive barrier outputs on event receipt. Added a stub for stepper motor stages and door interlocks.
  • Produced camera bring-up notes, latency measurement script, and a minimal telemetry frame over UDP for debugging.
Results
  • Real-time streaming and detection on DSP cores with stable Ethernet handoff to the FPGA.
  • Barrier FSM actuates on validated plate events from BeagleY-AI.
Deliverables

Repo and docs pending.

Next
  • Client database, billing workflow, RFID entry, stepper control for camera tilt and door, sensor matrix, and LCD status panels.
  • Ops dashboard, remote override, OTA updates, logging, and cyber hardening.

Digital Design Project – FPGA

2025 • CPE Lyon
Metastability, Stepper Motor Driver, UART Communication

Context: Academic FPGA project covering metastability, FSM design, and serial communication in VHDL.

What I did
  • Metastability study with synchronizers and timing checks.
  • Stepper motor driver FSMs, tested with 28BYJ-48 + ULN2003.
  • Clock divider for speed control and module sync.
  • UART TX/RX, baud generator, oversampling, loopback tests.
Results
  • Stronger digital design and FPGA prototyping practice.
  • FSMs validated in simulation and hardware.
Deliverables

Full Report (FR, PDF)

Micro-Sensor Design Project

2025 • CPE Lyon (4PSM Program)
End-to-end design of a capacitive micro-sensor chain

Context: Clean-room fabrication, analog circuits, and PCB prototyping.

What I did
  • Clean-room steps: photolithography, spin-coating, UV exposure, metal deposition.
  • Analog conditioning circuits with op-amps.
  • PCB in KiCad, hand-soldered, full chain assembled.
  • STM32 drivers, timers OK, ADC partial.
Results
  • Complete microsensor workflow from fabrication to validation.
  • Operational analog front-end, partial digital acquisition.
Deliverables

Poster presentation (FR, PDF)

Side Projects

HOLYCORE, RV32I from scratch with SystemVerilog + cocotb

2025 • Ongoing • Learning by building
Single-cycle RV32I core, verified with cocotb. Study of ISA, microarchitecture, and test strategy. Based on the HOLY CORE tutorial, with personal extensions.

Context: Skill building in RTL, verification, and computer architecture.

What I did
  • Single-cycle RV32I datapath in SystemVerilog: control, ALU, sign-extend, register file, instruction and data memory.
  • Typed opcodes and ALU control enums. Byte-enable memory and load-store decoder.
  • cocotb tests for units and top-level with randomized ALU checks.
  • Prep for SoC work with clean interfaces and a small config package.
Results
  • Core runs basic programs in simulation. ALU, loads, stores, branches, and partial loads pass current tests.
Credits

Following “The HOLY CORE project, A full RISC-V RV32I Core Tutorial, Single cycle edition”.

Deliverables

Repo and docs pending.

X-HEEP + Vicuna Integration, FPGA Prototype

2025 • Side Project with OpenHW/EPFL researcher
In progress, open-source SoC exploration

Context: Integrate the Vicuna RISC-V vector coprocessor into the X-HEEP microcontroller for FPGA prototyping and benchmarking.

What I’m doing
  • Study X-HEEP architecture, memory banks, bus interfaces, and CLINT/PLIC.
  • Review Vicuna interface and supported instructions.
  • Define integration via X-HEEP master-slave ports and core-v-x on cv32e40x.
  • Build a simulation harness and smoke tests for vector add, multiply, and AXPY.
  • Target FPGA bring-up and timing measurements.
Status

In progress

Stack

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

Planned Deliverables
  • HDL repository and build scripts
  • Integration notes and bring-up guide
  • AXPY, 3×3 conv, and GEMM benchmarks
  • Short demo video
Why it matters

X-HEEP is a configurable open-source MCU for external accelerators. Vicuna is timing-predictable for repeatable execution and WCET analysis while accelerating data-parallel workloads.

Apprenticeship

Apprenticeship – CNRS IP2I (4th Year)

2024–2025 • PICMIC-1 Project
PLL development for the PICMIC-1 ASIC

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

Context: Second apprenticeship year, fourth diploma year

What I did
  • Migrated PLL from TSMC 130 nm to TowerJazz 180 nm.
  • Resized transistors and redesigned loop filter.
  • Spectre simulations of PFD, charge pump, VCO, divider, and full loop.
  • Validated lock time 1.5–2 µs, jitter ~2 ps RMS, stable 160 MHz.
  • Layout: floorplanning, guard rings, parasitic extraction.
  • Post-layout: 2.58 GHz VCO, jitter 7 ps.
Results
  • PLL validated and integrated in PICMIC-1.
  • Stable 160 MHz clock.
  • Autonomy in analog layout and verification.
Deliverables

Full 4th Year Report (FR, PDF)

Research Internship

Summer Internship – IMSE-CNM Seville

June–September 2025 • Data Converters Group
Automation flows for Continuous-Time ΣΔ Modulators

Organization: Instituto de Microelectrónica de Sevilla (IMSE-CNM, CSIC/US)

Context: International internship under Dr. José M. de la Rosa

What I did
  • Reviewed CT ΣΔ theory, OSR, SNR, SNDR, ENOB.
  • Parametric sweeps on Active-RC and Gm–C with Spectre/OCEAN.
  • Unified OCEAN automation script.
  • Python GUI in Tkinter to manage sweeps.
  • Datasets for ML use with plots.
Results
  • Reusable flow across topologies.
  • Clean datasets for training.
  • Improved handover with GUI and reports.
Deliverables

Internship Report (EN, PDF)