Smit Bhavsar
Ai & Ml Soc Design Verification Engineer 2 @AMD
Signup · Get unlimited contacts
WORK HISTORY
Ai & Ml Soc Design Verification Engineer 2 @AMD
Markham, ON, CA
Formal Verification Tools: Connectivity Check, Sequential Equivalence Check and Formal Property Verification (CC, SEQ and FPV) and debugging on Synopsys Verdi.• Collaborated closely with RTL engineers to implement advanced logic designs, resulting in a 25% increase in clock gating efficiency and a corresponding improvement in power and memory consumption metrics using LSF to monitor.• Applied knowledge of Formal Verification protocols such as Formal CC, FPV and SEQ on AXI and PCIe Subsystems to validate SOC functionality, ensuring compliance with industry standards and specifications.• Utilized Verdi for advanced debugging, analyzing waveforms, log files, and microcode trace dumps to identify root causes of design failures.• Solely owned register metadata review and debug for MI430X/MI450, triaging inquiries from multiple IP teams by analyzing byte-offset and address-mapping files to resolve mismatched register addresses; authored the register specification document and evolved it into a GUI-driven, and automated generation flow. • Owned end-to-end SoC functional, toggle, and tile coverage for 1 of 3 MI430X chipsets, designing and deploying a new object-oriented coverage flow with a scalable waiver system, which reduced manual waiver effort by ~40% and enabled faster iteration and extensibility of coverage models.• Led cross-functional coverage alignment by hosting and driving recurring meetings with Power, MMHUB, SMU, Emulation, and verification teams, accelerating coverage closure and achieving 98% total SoC coverage within 3 months of ownership handoff.• Assisted in authoring and reviewing multiple MI430X/MI450 Processor Programming Reference (PPR) documents, while concurrently closing 10+ Jira tickets across verification, coverage, and infra tasks during a high-pressure development phase, demonstrating strong execution, prioritization, and cross-team collaboration.
EDUCATION
Ryerson University
Bachelor of Engineering - BE, Computer Engineering
Lester B. Pearson Collegiate Institute
High School Diploma, High School/Secondary Diplomas and Certificates
Toronto Metropolitan University
Bachelor of Engineering - BE, Computer Engineering
ABOUT SMIT BHAVSAR
Hi there, I\'m Smit Bhavsar, a Computer Engineering graduate from TMU with over 3+ years of experience in SOC Design Verification. With a solid academic foundation and hands-on industry experience, I specialize in system-on-chip (SoC) design verification, machine learning, AI, and automation. Recently I\'ve been working on Formal AI Verification, generating and releasing PPRs, improving and implementing test coverage, as well chiplet to chiplet cosims. My tech stack includes:Backend: Java, Python, C++/C#Frontend: HTML, CSS, JavaScriptDatabase: MySQL, PandasFrameworks: SpringBoot.NET, Django, ReactTools: Synopsys Verdi, Synopsys VC Formal, VCSOther: Ruby, SystemVerilog, UVM, Perl As an Engineer in AI at AMD, I collaborate with cross-functional teams worldwide (India, USA, and China) to validate and verify complex SoC designs for next-gen AMD Instinct™ AI accelerators. I\'ve led key improvements in verification coverage, on leading projects such as mi300, mi400 and mi450, reducing testing time by 30% and enhancing efficiency with automated test procedures using Python, Perl, and Ruby. I am also deeply involved in integrating formal verification methods to optimize SoC performance, cutting post-silicon debugging time by 50%.In my internship, I contributed to the MI300 Series Accelerators by automating manual test procedures and addressing critical post-silicon issues. Through automation, I achieved a 30% reduction in testing time, while increasing regression testing coverage by 10%. This allowed the team to catch bugs faster, improving the MI300\'s overall stability.🤖 In addition to my work at AMD, I have experience as a Robotics and Coding Instructor at Dr. X Academy, where I taught high school students Java programming and led robotics courses, increasing student engagement and participation. Key projects I’ve worked on include developing a Media Centre Application with real-time operating systems (RTOS) for preemptive scheduling and creating a Cache Controller in VHDL, as well as a general-purpose processor with multiple ALUs. Additionally, I spearheaded projects like a Smart City Application using Java and SQL, and a Responsive Portfolio Website leveraging HTML, CSS, and Bootstrap. As the VP of Technology for the Ryerson Gujarati Association, I led a tech team that developed new digital initiatives, enhanced social media engagement, and organized impactful fundraisers. Let’s connect to explore how my skills and experiences can contribute to tech innovations and opportunities in the industry!
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.