Vedprakash Mishra

Vedprakash Mishra Email and Phone Number

Formal Engineering Manager and Staff Engineer @ Intel Corporation
Maharashtra, India
Vedprakash Mishra's Location
Mumbai Metropolitan Region, India
Vedprakash Mishra's Contact Details

Vedprakash Mishra work email

Vedprakash Mishra personal email

n/a
About Vedprakash Mishra

Vedprakash Mishra is a Formal Engineering Manager and Staff Engineer at Intel Corporation. They possess expertise in customer service, microsoft office, microsoft excel, management, microsoft word and 12 more skills.

Vedprakash Mishra's Current Company Details
Intel Corporation

Intel Corporation

View
Formal Engineering Manager and Staff Engineer
Maharashtra, India
Website:
intel.com
Employees:
114813
Vedprakash Mishra Work Experience Details
  • Intel Corporation
    Formal Engineering Manager And Staff Engineer
    Intel Corporation
    Maharashtra, India
  • Intel Corporation
    Formal Verification Expert / Engineering Manager
    Intel Corporation Jun 2021 - Present
    Virtual Location
     Expertise in Formal Property Verification (FPV)• Signed-off on several IPs as individual contributor.• Ensured proper test-planning, properties and model coding, abstraction and RPD and coverage-based sign-off to achieve zero bug escape and shift-left. catching more than 100 bugs.• Conducted initial project breakdown to identify Formal Verification (FV) friendly DUTs (Design under Test) to ensure maximum FV QoV (Quality of Verification).• Deployed FPV to ensure not just functionality of IPs but also to ensure security aspect of such IPs.• Have worked on design related to CPU, Interconnects, Networking, etc., contributed to Intel’s 4th, 5th and 6th generation Xeon scalable processors. Expertise in Reactive formal• Reproduced bugs that landed in post silicon for better understanding of scenario and quicker resolution in span of few weeks, deploying advanced formal techniques and abstractions• Work involved discussion with several architects, micro-architects, designer to narrow down IPs to catch and reproduce the bug and verify workarounds and hardware fix. Team management and development• Technically led 3 teams of 5-10 formal verification engineers to formally signoff IPs involved in CPU, Interconnects, Networking, etc. catching more than 400 bugs.• Allocated and bifurcated task among project members and came up with strategies to ensure timely sign-off.• Trained around 50 engineers with basic and advanced concept of formal verification by coming up with lab exercises for practice and part of hiring team Contribution to FV literature• Authored 6 papers in span of 3 years winning best paper award in DVCON India 2022, and JUG India, 2024, 3 papers got selected for DAC USA, 2022, 2023, 2024 for poster and paper presentation.• Literature focused on FV methodologies for faster execution, zero bug escapes, shift-left, and addressing functional and security issues in IP.

Vedprakash Mishra Skills

Customer Service Microsoft Office Microsoft Excel Management Microsoft Word Powerpoint Public Speaking Research Project Management Leadership Html Css Mysql C Matlab Strategic Planning Javascript

Vedprakash Mishra Education Details

Frequently Asked Questions about Vedprakash Mishra

What company does Vedprakash Mishra work for?

Vedprakash Mishra works for Intel Corporation

What is Vedprakash Mishra's role at the current company?

Vedprakash Mishra's current role is Formal Engineering Manager and Staff Engineer.

What is Vedprakash Mishra's email address?

Vedprakash Mishra's email address is ve****@****tel.com

What schools did Vedprakash Mishra attend?

Vedprakash Mishra attended Indian Institute Of Technology, Kanpur, Pace Junior Science College, St. Dominic Savio High School.

What are some of Vedprakash Mishra's interests?

Vedprakash Mishra has interest in Social Services, Economic Empowerment, Education, Environment, Science And Technology, Arts And Culture.

What skills is Vedprakash Mishra known for?

Vedprakash Mishra has skills like Customer Service, Microsoft Office, Microsoft Excel, Management, Microsoft Word, Powerpoint, Public Speaking, Research, Project Management, Leadership, Html, Css.

Who are Vedprakash Mishra's colleagues?

Vedprakash Mishra's colleagues are Justin Bjoin, Ido Barkai, Gloria Krishnakumar, Steve Pico, Yuda Maulana, Inbar Horvitz, Binfen Zhang.

Not the Vedprakash Mishra you were looking for?

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.