8-bit Multicycle Processor
RTL verification and DE1 port preparation for a multicycle 8-bit processor, extending an existing university RTL design.
- VHDL
- Quartus
Verification
Verification details available in the case study.
M2 SETI student specializing in Architecture -- Embedded Systems, FPGA and Digital Design

FPGA / RTL
VHDL digital design and RTL development, from datapath and control-FSM architecture to FPGA integration.
Digital Architecture
Processor and datapath architecture: control FSMs, ALU design and instruction timing.
Rigorous Verification
Exhaustive GHDL testbenches with independent reference models and continuous integration.
Embedded Systems / SoC
Embedded C/C++, Linux/Raspberry Pi integration and sensor/actuator interfacing.
Hardware-Software Co-design
Autonomous robotics combining reactive software control with sensor and actuator hardware.
RTL verification and DE1 port preparation for a multicycle 8-bit processor, extending an existing university RTL design.
Verification
Verification details available in the case study.
A synthesizable unsigned 16-bit integer square-root core, exhaustively verified across all 65,536 inputs and prepared for a Terasic DE1 port.
Verification
Verification details available in the case study.
Navigation and control software for a 1/10-scale autonomous race vehicle, built for the collaborative ENS Paris-Saclay CoVAPSy 2026 competition.
Verification
Verification details available in the case study.
Two small sequential VHDL cores -- a searchx sequential-search engine and an 8x8 iterative shift-add multiplier -- each exhaustively or near-exhaustively verified and packaged for a Terasic DE1.
Verification
Verification details available in the case study.
FPGA / RTL Design
VHDL, FSMs, datapath design, processor architecture and digital arithmetic; Quartus, and Vivado for a mini-project.
Verification
VHDL testbenches, exhaustive verification, independent reference-model checking and GitHub Actions CI.
Embedded Systems & Software
C, C++, Python, Linux/Raspberry Pi, ESP32, STM32 (academic project), I2C, UART, PWM.
Tools
Git, CMake, Make.
Additional project
Contribution to a collaborative indoor-air-quality monitoring project through development of the web platform/dashboard and associated application/software integration. System context: an ESP32-S3 firmware reads CO2, TVOC, CO, temperature and humidity sensors and reports over HTTPS to a Flask backend and a real-time web dashboard.
Master 2 SETI
Université Paris-Saclay — 2026-09 –
Embedded Systems and Information Processing -- Specialization: Architecture.
Master 1 E3A
Université Paris-Saclay — 2025-09 – 2026-06
Autonomous Systems, Embedded Intelligence and Information Processing.
Bachelor Year 3 (L3) E3A
Université Paris-Saclay — 2024-09 – 2025-06
Electronics, Electrical Energy and Automation Engineering.
Bachelor's Degree - Electronics
USTHB, Algiers — 2021-09 – 2024-06
Foundational electronics degree.
Private Tutor - Self-Employed
Self-employed — 2024-09 –
Mathematics, physics, electronics and programming; individualized tutoring from secondary school to post-secondary level, with exercises adapted to each student's needs.
Electrical Engineering Job-Shadowing Internship
EPTV, Algiers — 2023-06 – 2023-06
Two-week observation placement.
Final-year Master's student (M2) in Embedded Systems and Information Processing at Université Paris-Saclay, specializing in Architecture. Experience spans FPGA/VHDL digital design and RTL verification, embedded C/C++ and Linux/Raspberry Pi integration, and autonomous robotics with sensor/actuator interfaces. Seeking a 4- to 6-month final-year internship (2027) in embedded systems, FPGA/SoC, digital design or hardware-software integration.