Bhanu Prakash Ananthula

Senior Engineer @ Qualcomm

About

Formal verification

Country

City

United States

Industry

Consumer Electronics

Skill

Universal Verification Methodology (UVM), Digital Designs, Linux, Computer Architecture, Functional coverage, Assertions, Cover properties, Mixed signal verification, Synopsis VC formal, Formal Methods, System verilog, Sva, Cadence jasper gold, Vc formal, Formal Verification, Functional Verification, Embedded Systems, RTL Design, Cadence Virtuoso, Xilinx Vivado

Experience

Senior Engineer

Qualcomm

2026-4 - Present · 6 mos

Austin, Texas Metropolitan Area

Formal Verification - Hexagon NPU

Sr. Silicon Design Engineer

AMD

2024-7 - 2026-4 · 1 yr 10 mos

Orlando, FL

Formal verification- FPV, SEC on Shader Processor - Graphics core

Formal verification Co-Op/ Intern

AMD

2023-8 - 2023-12 · 5 mos

Orlando, Florida, United States

Working in GPU Formal verification team - Performing Sequential Equivalence Checking using Jasper Gold and VC formal - Developing TCL infrastructure for VC Formal SEQ

Design Verification Intern

Renesas Electronics

2023-5 - 2023-8 · 4 mos

Morrisville, North Carolina, United States

Summer internship in Analog Mixed Signal Verification team majorly working on developing Directed and Constrain Random SV test case stimulus to verify RTL, Mixed signal models and schematic. Performing Functional coverage and Assertions using SVA

Senior Engineer

ZF Group

2022-4 - 2022-8 · 5 mos

Hyderabad, Telangana, India

Software Architect for Volkswagen MEB & MQB, All Electronic Park Brake Customer projects (SGM, AUDI, Hyundai-N3 etc.,). Support for Software Architectural activities for Daimler MMA IBC and OPEL K0 projects.

Engineer

ZF Group

2019-7 - 2022-3 · 2 yrs 9 mos

Hyderabad Area, India

𝐄𝐌𝐁𝐄𝐃𝐃𝐄𝐃 𝐒𝐘𝐒𝐓𝐄𝐌𝐒 (Automotive Industry): Working as a Software Architect for Vehicle Braking systems: Electronic Brake Booster, Park Brake and Stability Control). ✅CAN ✅AUTOSAR, Real Time OS, Embedded C,Python. ✅Hazard Analysis and Risk Assessment (HARA), ASPICE, ISO26262. ✅ Experience in Tools: IBM Rational Rhapsody, DOORS, MATLAB, SIMULINK.

Co-Convener for Acumen Tech Fest-2K19

Vasavi College of Engg

2019-1 - 2019-3 · 3 mos

EEE department

• Planned and organized all departmental technical projects for the college Tech Fest. • Assisted over 100 students in resolving project challenges. • Conducted Robotic workshops.

Student Intern

Kothagudem Thermal Power Station

2017-6 - 2017-6 · 1 mo

Telangana, India

- A mini project is done on “OVERVIEW OF THERMAL POWER PLANT (KTPS STAGE-VI 1*500 MW) ” - The main aim of this project is to study the various types of electrical and mechanical equipment involved in the process of generation of Electrical power and systems developed for Detection/ Protection of various equipment.

Education

University of Florida

Electrical and Computer Engineering

2022-8 - 2024-5 · 1 yr 10 mos

Specialization in "Computer Engineering" and "Electronics" Fall 22 Courses: VLSI circuits and Technology, Re-Configurable Computing (FPGA), Hardware security and Trust Spring 23 Courses: Re-Configurable Computing-2, CAD for hardware security, Independent study- worked in FICS Lab Fall 23 courses: Computer Architecture Spring 24 courses: Future of Micro electronics technology

Vasavi College of Engg

Electrical and Electronics Engineering

2015 - 2019 · 4 yrs

Under graduation projects: ✔Project-1 ->Automatic Accident Provision Vehicle (Smart Car): A prototype electric vehicle is designed with the following features in it. (i) Cruise control (ii) Automatic headlight intensity adjuster (iii) Alert the driver during Abnormal conditions ✔Project-2 -> IOT based Phone Controlled Robots ✔Project-3 -> Smart Home Energy Monitoring System using IOT (Smart Plug) ✔Project-4 -> Smart Power Distribution system ✔Project-5 -> Power Theft Detection My Roles: Team Leader and Team Member