About Me

Software, sound, and everything in between.

Background

I'm a CPU Design Verification engineer at Intel, currently doing formal property verification on out-of-order and front-end units for next-generation x86 cores using Jasper Gold. I've spent over a decade in silicon validation — from post-silicon fault-grade and SBFT content development, through UVM-based architecture validation, to my current formal verification work — and hold a BSEE/BSEET from Oregon Institute of Technology. Outside of work I build small software tools, like the MusicXML/handbell app in my Portfolio, and produce music as DeadHeadTriathlete.

Skills

SystemVerilog UVM / OVM Formal Verification Jasper Gold VCS Verilog / VHDL Python C / C++ Perl Bash X86 / RISC Architecture Git Agile / Scrum / CI-CD

DeadHeadTriathlete

Robert releases music under the name DeadHeadTriathlete.