Kshitij Agrawal

Software Engineer

Santa Clara, California, United States9 yrs 2 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in formal verification methodologies.
  • Proven experience in FPGA programming and digital design.
  • Strong background in improving software communication protocols.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in FPGA and digital design.

Contact

Skills

Core Skills

Fpga Programming

Other Skills

ArduinoAssertion Based VerificationCCadence VirtuosoComputer ArchitectureDigital DesignsEagle PCBFormal Abstraction TechniquesFormal CoverageFormal VerificationJasperGoldJavaLabVIEWMatlabMicrosoft Excel

About

Helping projects avoid inevitable bug escapes with exhaustive formal sign-off.

Experience

Arm

2 roles

Senior Engineer

Oct 2022Oct 2022 · 0 mo · Cambridge, England, United Kingdom

Formal Verification Engineer

Mar 2021Oct 2022 · 1 yr 7 mos · Cambridge, England, United Kingdom

Nvidia

Senior Formal Verification Engineer

Oct 2022Present · 3 yrs 5 mos · Santa Clara, California, United States

Oski technology

Formal Verification Engineer

Nov 2018Mar 2021 · 2 yrs 4 mos · Gurgaon, Haryana, India

Sabre corporation

Software Quality Assurance Engineer

Sep 2017Oct 2018 · 1 yr 1 mo · Bangalore

Tonbo imaging

FPGA Intern

Jan 2017Jun 2017 · 5 mos · Bangalore

  • Project 1: Improvement of timing response in multi-threaded software UART communication of peripherals through FPGA.
  • Worked on driver codes (C language-based) and improved the timing response of Electro-Optical (EO) camera, IR camera, Compass, GPS, Laser Range Finder communication response timings from FPGA-based Tonbo's thermal imaging video engine.
  • Implemented python code for UART-based communication protocols from external devices to the FPGA-based Tonbo's thermal imaging engine.
  • Project 2 : Implementation of a 3x3 Gaussian filter for the incoming analog video in the FPGA.
  • Designed the pipelined State Machine-based architecture for filtering the incoming video stream by 3x3 kernel on FPGA.
  • Implemented the above architecture on VHDL for handling high throughput of input pixels.
  • Can be modified easily to support larger kernels, while giving output in accordance to company's video format
CPythonFPGA Programming

Birla institute of technology and science, pilani

Teaching Assistant for Digital Design Course

Aug 2016Dec 2016 · 4 mos · Goa, India

  • Assisted the course instructors in the evaluation of hardware labs, software labs and projects assigned to the students.
  • Took an official lecture under the Instructor-in-Charge on Verilog-Programming.

Neocorp international limited (ncil), pithampur

Intern

May 2015Jul 2015 · 2 mos · Pithapuram, Andhra Pradesh, India

  • Objective: To reduce the breakdown time in the circular looms used by the NCIL.
  • Outcome: 12% reduction in breakdown time which resulted in 5% increase in production.
  • 1. Worked in a team of 3 interns.
  • 2. Conducted time-and-motion study on the manufacturing process.
  • 3. Improved routine maintenance procedure of the machines known as CLTI (Cleaning, Lubrication, Tightening and Inspection).
  • 4. Suggested a performance-based incentive scheme for the workers.

Education

Birla Institute of Technology and Science, Pilani

Bachelor of Engineering (B.E.) — Electrical and Instrumentation Engineering

Jan 2013Jan 2017

Jawaharlal Nehru School, BHEL, Bhopal

6th-12th

Jan 2006Jan 2013

St. Aloysius Senior Secondary School, Sadar, Jabalpur

Jan 2001Jan 2006

Stackforce found 6 more professionals with Fpga Programming

Explore similar profiles based on matching skills and experience