Prashant K. โ Software Engineer
Hello, I have experience in following:- ๐๐ฟ Creating Systemverilog /UVM/SVA based rtl verification environment, maintain those, in accordance with the flow of Verification ๐๐ฟ Formal verification(basics) using formal tools such jasper gold for FPV | UNR. ๐๐ฟ Analyzing coverage metrics. ๐๐ฟ Familiar with Tools vcs | irun | imc | simvision | jasper gold | ncverilog | emanager etc.
Stackforce AI infers this person is a Verification Engineer specializing in RTL and formal verification within the semiconductor industry.
Experience: 9 yrs
Skills
- Universal Verification Methodology (uvm)
- Systemverilog
- Formal Verification
Career Highlights
- Expert in SystemVerilog and UVM for RTL verification.
- Proficient in formal verification using Jasper Gold.
- Strong analytical skills in coverage metrics.
Work Experience
Intel Corporation
Sr. SoC Verification Engineer (1 yr 1 mo)
NXP Semiconductors
Verification Engineer (2 yrs 1 mo)
Intel Corporation
Senior Design Verification Engineer (2 yrs)
NXP Semiconductors
Senior Design Verification Engineer (1 yr)
Design Verification Engineer (2 yrs 10 mos)
Education
Bachelor of Technology (B.Tech.) at Motilal Nehru National Institute Of Technology
Class XII at Patna Muslim High School