Karthik Baddam — Software Engineer
Experienced in ASIC design flow; from RTL through to GDSII. Core expertise in digital verification and advanced methodologies such as UVM and formal model checking. Hands on experience of working on projects with tight time scales, while keeping the customer needs in mind. Experienced in project planning and management of verification projects. Well versed in many programming languages inducing System Verilog, VHDL, Python, TCL and C++, also enjoys learning new programming languages. Specialities: System Verilog, VHDL, UVM, constrained random verification, formal, SVA, Python.
Stackforce AI infers this person is a Semiconductor Verification Engineer with expertise in ASIC and digital verification methodologies.
Location: Amersham, England, United Kingdom
Experience: 21 yrs 1 mo
Career Highlights
- Expert in ASIC design flow from RTL to GDSII.
- Proficient in digital verification methodologies like UVM.
- Strong background in project planning and management.
Work Experience
Qualcomm
Principal Formal Verification Engineer (4 yrs 2 mos)
Arm
Staff Verification Engineer (4 yrs 2 mos)
Huawei Technologies
Senior Verification Engineer (10 mos)
Imagination Technologies
Principal Verification Engineer (6 mos)
Senior Hardware Design Engineer (1 yr 3 mos)
Leading Hardware Design Engineer (11 mos)
Leading Hardware Design Engineer (11 mos)
Hardware Design Engineer (4 yrs 7 mos)
University of Southampton
PhD Student in ECS (3 yrs 9 mos)
Education
Doctor of Philosophy (Ph.D.) at University of Southampton
MSc in Microelectronics System Design at University of Southampton
Bachelor of Technology (B.Tech.) at Jawaharlal Nehru Technological University