Kirti Kansal — Software Engineer
*Working on power rail projects *Knowledge of SOC Verification of SRAM Controller, I2C, DMA, PLL, Clocking, Reset and PMC *Bash shell scripting, TCL, Perl and Python *SOC Verification of digital circuits using C stimulus and SV/UVM handshaking *Understanding of serial protocols: SPI, I2C AMBA protocols: APB, AHB, AXI *Understanding of ARM Coresight architecture *Working experience of verification of Debug DSP, PPA, CA53, CA78 cores in radar SOC *Working experience of MIPI ATE/VFT patterns *Knowledge of formal verification using VC formal FPV and CC *Expertise in CRR(Common Register Repository) verification
Stackforce AI infers this person is a highly skilled verification engineer in the semiconductor industry.
Experience: 7 yrs 7 mos
Skills
- Universal Verification Methodology (uvm)
- Systemverilog
- Formal Verification
- System On A Chip (soc)
Career Highlights
- Expertise in SOC Verification and ARM architecture.
- Proficient in multiple scripting languages including Python and Perl.
- Strong background in formal verification and UVM.
Work Experience
Analog Devices
Senior Design and Verification Engineer (1 yr 4 mos)
NXP Semiconductors
Lead Engineer (1 yr 6 mos)
NXP Semiconductors by incise
Design Verification Engineer (1 yr 7 mos)
Incise Infotech Private Limited
Verification Engineer (1 yr 3 mos)
Agnisys, Inc.
Associate R&D Engineer (2 yrs)
Amity Institute of Training & Development - AITD
Lecturer in Physics (1 yr)
DKOP labs pvt ltd
intern (2 yrs)
Education
Bachelor's degree at Maharaja Surajmal Institute Of Technology
