Successfully reduced verification cycle time by 25% for a complex automotive SoC's memory subsystem at NXP Semiconductors. This critical achievement involved meticulously developing a UVM-based verification environment from scratch, tackling hundreds of corner-case scenarios and stringent timing requirements inherent in high-reliability applications. My strategic approach to coverage closure and bug detection directly contributed to an accelerated time-to-market for a flagship product, showcasing my capability to deliver robust verification solutions under demanding conditions.
My experience includes developing a comprehensive UVM testbench for a multi-core processor's cache coherence protocol, achieving 98% functional and code coverage within an aggressive eight-week schedule using SystemVerilog. Furthermore, I implemented an advanced coverage-driven verification (CDV) flow for a high-speed interconnect IP, identifying and resolving 15 elusive corner-case bugs prior to tape-out through assertion-based verification (ABV) and e / Specman. I also spearheaded formal verification efforts on a safety-critical power management unit, proving the absence of deadlocks and livelocks, significantly reducing simulation time by 30% for those specific properties.
I am particularly drawn to Infinium Logic Solutions' pioneering work in next-generation AI accelerators, especially your upcoming 'Spectra' series, which demands extremely robust and efficient verification methodologies. My expertise in developing complex UVM environments, paired with a deep understanding of formal verification for critical properties, aligns perfectly with the challenges of validating high-performance, cutting-edge architectures like yours. I am confident my skills in driving verification integrity can directly contribute to the 'Spectra' series' success.
My background at NXP Semiconductors, particularly in developing verification strategies for sophisticated mixed-signal SoCs, makes me a strong fit for Infinium Logic’s advanced verification challenges. I am adept at driving verification excellence from architectural definition through to post-silicon validation. I am eager to discuss how my hands-on experience in UVM, formal verification, and coverage-driven methodologies can contribute to the success of your next-generation products. Please connect to schedule an interview at your earliest convenience.
Best regards,
Michael Harris