david rosocha

ABOUT ME

David Rosocha.

I’m an Electrical Engineering and Computing Technology student at the University of Ottawa, focused on FPGA design, verification, and computer architecture.

I’ve worked on FPGAs at Ciena and satellite systems at Telesat. I now research neuromorphic hardware at Carleton’s SHaRe Lab and silicon photonics at the National Research Council Canada. I also lead uODD, the digital design club I founded at uOttawa.

Based in Ottawa · Graduating May 2028
About me
David Rosocha
David RosochaElectrical engineering & computingView original 3D desk
WHERE I’VE CONTRIBUTED
CienaTelesatNRC Silicon photonicsSHaRe Lab ML HardwareuODD Founder

01 / FEATURED PROJECT

AI on an FPGA

View source ↗

02 / EXPERIENCE

Experience & research

JAN — AUG 2026Co-op · Ottawa
Ciena

FPGA Design & Verification

  • Built UVVM environments for the FPGA logic behind Hyper Rail, verifying functional correctness, interface compliance, and timing behavior.
  • Developed constrained-random stimulus and protocol agents to drive coverage closure and catch functional and timing bugs.
  • Built a SystemVerilog hardware tracer capturing and timestamping up to 256 live signals at sub-10 ns resolution, with signal, vector, AXI, and I²C triggers.
  • Implemented AXI-Streaming and MPI interfaces for DMA transfer to an external CPU, enabling signal analysis on Linux workstations.
UVVMSystemVerilogAXI-StreamVerification
SEP 2026 — PRESENTResearch
National Research Council Canada ↗

Silicon Photonics Researcher

  • Designing silicon nitride integrated photonic devices for on-chip sensing.
  • Using Lumerical for simulation and KLayout for device layout.

Supervised by Dr. Ross Cheriton.

Silicon photonicsLumericalKLayout
SEP 2026 — PRESENTResearch

Neuromorphic hardware

  • Designing an event-driven audio encoder in RTL using spiking neural networks, targeting FPGA implementation for a conference submission.
  • Implemented a multiplier-free leaky integrate-and-fire neuron in SystemVerilog.
  • Constrained the discretized decay coefficient to a power of two, reducing the datapath to adders, a shift, and a comparator—with zero DSP slices inferred.
SystemVerilogSpiking neural networksFPGA
MAY — AUG 2025Co-op · Ottawa
Telesat

LEO Satellite Bus & Systems Engineering

  • Developed a Python coverage simulator for 1,400+ LEO satellites, replacing commercial tooling and improving runtime performance.
  • Built an optical inter-satellite link framework modeling azimuth, Doppler shift, and alignment to assess crosslink feasibility.
  • Developed an electrical power simulator modeling dynamic power flow, eclipses, and battery degradation for spacecraft trade studies.
PythonNumPyMATLABSystems engineering
View simulation visuals
DEC 2024 — PRESENTLeadership
  • Founded uODD, the first digital design club at uOttawa, growing it to 160+ members in eight months.
  • Teach Verilog and FPGA development through practical workshops.
  • Coordinate workshops and author open-source curriculum with Ciena and Synopsys.
TeachingDigital designCommunity

03 / EDUCATION

Education & skills

Alongside my degree, I teach Verilog and FPGA development through uODD and organize workshops with industry partners.

LANGUAGES

English · French · Slovak · Czech

Students attending a digital design workshop
An FPGA workshop at uOttawa.
University of Ottawa

EDUCATION

University of Ottawa

BASc Electrical Engineering
BSc Computing Technology

Double degree · Co-op
Expected May 2028

9.89/10CGPA · 3.99/4.00

Co-op Student of the Year
Faculty of Engineering · 2025

Coursework & recognition

Digital systems, computer architecture, embedded systems, electronics, electromagnetic engineering, signals, data structures, and algorithms.

Microwave and Photonic Engineering specialization.

Director of Education Graduate Student Award, admission scholarship, and merit scholarships totaling $9,250.

View supplied transcript ↗

TECHNICAL TOOLKIT

Design & verification

SystemVerilog, Verilog, VHDL, UVM, UVVM, assertions, constrained-random testing, scoreboards, functional coverage

Hardware & interfaces

RTL, FSMs, fixed-point arithmetic, AXI / AXI-Stream, I²C, UART, timing closure, FPGA implementation

Tools & software

Vivado, Questa, ModelSim, Quartus, Lumerical, KLayout, Git, Linux, Tcl, Python, NumPy, PyTorch, C/C++, MATLAB / Simulink

04 / OTHER PROJECTS

Additional projects

02 — SpeakEasy
SpeakEasy
02 / EMBEDDED & ACCESSIBILITY

SpeakEasy

A tactile communication device and Android companion app, built with a non-verbal client with cerebral palsy.

ESP32PCB designAndroid
Explore project
03 — UART communication
UART communication system
03 / DIGITAL DESIGN

UART communication system

A complete serial interface in structural VHDL, from baud-rate generation to transmitter and receiver state machines.

VHDLQuartusFPGA
Explore project