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.
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.
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.