At BETA Technologies, I worked in C and MATLAB/SIMULINK to develop inverter control software! My job involves bringing updates to our Controller Model, adding feature support in STM32 Micros, and supporting the testing and deployment of our software onto motor dynos and aircraft inverters! I work closely with systems, motors, and electrical teams in order to bring forward safety-critical software. I commonly use protocols such as I2C, SPI, UART, JTAG, and CAN; while also using logic analyzers, oscilloscopes, DMM's, bench power supplies, and HV power supplies in the debug process.

I worked with Formal Verification techniques to bring up a full formal testbench for datatype conversion modules.

I worked with UVM tools in SystemVerilog to bring up testbenches around command-queuing and dataflow operations around the PE core.

I worked with the Digital Design team to overhaul a register access protocol, and learned about Clock domain Crossings, backpressure, flow control, and a lot about system verilog and how to organize projects within system verilog!

Working with the Formal Verification and devops team to implement CI/CD pipelines and create Python modules to instantiate modules and registers faster!