TRIDENT NAVY

The Trident missile is a submarine launched ballistic missile with multiple reentry vehicles. Initially tasked with design of the velocity sub-system the role was expanded to assist with the attitude measuring, battery and mission systems.  

The deliverable products for this project included the systems ASIC and PCBs. This included design, specification, debug, verification and validation. In order to accomplish these tasks the software and languages used in this project were: Auto-CAD, Altera Quartus II, VHDL, SysVerilog, Matlab, Jiro, C++

MKV ARMY

The Multiple Kill Vehicle is a US missile defense project to deploy several kinetic vehicles to intercept and destroy ballistic missiles. Tasked with leading the verification team of the this design, my team delivered a stable and high performance propitiatory model of HVM (Honeywell Verification Methodology) while assisting in the creation of said Methodology.

The deliverable products for this project were the constrained random verification model and the propitiatory Honeywell methodology. In order to accomplish these tasks the software and languages used in this project were: Altera Quartus II, VHDL, SysVerilog, Jiro, Six Sigma

NASA ORION

NASA's Orion Multi-Purpose Crew Vehicle is a spacecraft developed for manned missions to the moon, asteroids, and Mars. Tasked on a twelve-member verification team for a Time Triggered Gigabit Ethernet ASIC (served as Team Lead for the eight-member Puerto Rican based team) utilized in the NASA Orion Capsule.