Muhammad Waqas Umair

Digital Design & Verification Engineer
Munich, DE.

About

Highly motivated Master's student and experienced Digital Design and Verification Engineer with 3+ years of hands-on experience in ASIC/FPGA development, Design-for-Test (DFT), and advanced verification methodologies (UVM, SystemVerilog). Proven ability to optimize complex digital systems, enhance test coverage, and drive automation, contributing to robust and high-performance hardware solutions for automotive and communication domains.

Work

Infineon Technologies AG
|

Working Student + Master's Thesis – Design-for-Test

Munich, Bavaria, Germany

Summary

Led the development and verification of advanced Design-for-Test solutions for automotive microcontrollers as part of Master's thesis.

Highlights

Developed a Verilog-based DFT solution with Tcl automation, significantly improving BIST insertion efficiency and pattern generation for automotive microcontrollers.

Designed and verified synthesizable RTL for a critical TCAM module, ensuring functionality and performance for next-generation automotive microcontrollers.

Created comprehensive memory library files and custom operations, enhancing overall test coverage for complex memory architectures.

Performed detailed fault analysis with standard and custom algorithms, accurately identifying and localizing design defects within critical components.

Implemented IJTAG-based column/row repair and comprehensive diagnostic analysis, improving silicon yield and debug efficiency for advanced semiconductor products.

Infineon Technologies AG
|

Working Student – Automation & Design Verification

Munich, Bavaria, Germany

Summary

Automated RTL generation and verification setups, focusing on protocol compliance and robust UVM test environment development.

Highlights

Automated RTL generation and verification setup, including testbench and assertion development, significantly reducing manual effort and accelerating design cycles.

Created and maintained robust UVM test environments, ensuring 100% protocol compliance and early bug detection for complex digital designs.

Developed and integrated concurrent assertions into testbenches, enabling early detection of critical design issues and reducing verification cycles.

Performed thorough RTL verification using SystemVerilog/UVM, achieving near-complete functional coverage for high-reliability systems.

Applied formal verification techniques to ensure design correctness, significantly reducing post-silicon defects and improving overall product quality.

Technical University of Munich (TUM)
|

Work Study - Digital Design & FPGA Prototyping

Munich, Bavaria, Germany

Summary

Contributed to digital design and FPGA prototyping projects, focusing on encryption algorithm implementation and verification.

Highlights

Implemented the IDEA encryption algorithm on a resource-constrained Spartan-6 FPGA using VHDL, achieving optimal performance within specified area constraints.

Verified FPGA functionality through extensive simulation and synthesis, ensuring design correctness under stringent timing and area constraints.

Achieved timing closure and optimized logic utilization for efficient hardware deployment, meeting critical performance targets.

Lampro Mellon
|

Trainee + Associate Engineer - Digital Design and Verification

Lahore, Punjab, Pakistan

Summary

Designed and verified synthesizable RTL for various industry-standard protocols, ensuring compliance and functional accuracy.

Highlights

Designed synthesizable RTL for SPI, APB, and AHB protocols, ensuring 100% compliance with industry standards and seamless integration readiness.

Developed custom RTL modules and implemented robust linting practices, significantly improving code quality and reducing potential design errors.

Verified protocol implementations and custom modules through comprehensive functional accuracy testing, identifying and resolving critical bugs.

University of Engineering & Technology (UET), Taxila
|

Research Assistant - Digital Design and Verification

Taxila, Punjab, Pakistan

Summary

Contributed to the development and verification of RTL modules for RISC-V architecture components.

Highlights

Developed RTL modules for key components of a RISC-V architecture (ALU, Instruction Memory, Control Unit), contributing to the development of a high-performance processor.

Created comprehensive testbenches and performed functional verification, ensuring the accuracy and reliability of developed modules.

Assisted in advanced research activities and evaluated over 50 student assignments and projects, contributing to academic excellence and mentorship.

Education

Technical University of Munich
Munich, Bavaria, Germany

Master of Science

Communications & Electronics Engineering

Grade: 1.8

Courses

SoC Technologies

HW/SW Co-Design

Testing Digital Circuits

VHDL Design Lab

University of Engineering & Technology, Taxila
Taxila, Punjab, Pakistan

Master of Science (Coursework)

Telecommunication Engineering

Grade: 1.3

University of Engineering & Technology, Taxila
Taxila, Punjab, Pakistan

Bachelor of Science

Telecommunication Engineering

Grade: 1.7

Languages

English
German

Skills

Programming Languages & HDLs

Python, C/C++, Tcl, VHDL, Verilog, SystemVerilog.

Tools & Environments

Vivado, Tessent, Xcelium, VCS, JasperGold, SpyGlass, Design Compiler, Unix/Linux, Git.

Verification & Methodologies

UVM, SystemVerilog Assertions (SVA), Formal Verification, Comprehensive SystemVerilog.

Design-for-Test (DFT)

MBIST, IEEE 1687 (IJTAG), Design-for-Test Fundamentals.

Hardware Platforms

Xilinx FPGAs (Spartan-6, Zynq-7000, UltraScale), Arduino.

Protocols & Interfaces

I2C, UART, SPI, AMBA (APB, AHB).

Digital Design & Flow

RTL Synthesis, Linting, Static Analysis, FPGA Development, Basic Static Timing, RTL-to-GDSII Flow.

Projects

DCF77-Compatible Alarm Clock System

Summary

Developed an alarm clock system capable of synchronizing with the DCF77 time signal.

Embedded System with FreeRTOS

Summary

Implemented a real-time producer-consumer system on an ESP32 microcontroller.

Circuit Sensitivity Analysis

Summary

Conducted sensitivity analysis for circuit performance using Python and SPICE.

UART Interface for Serial Communication

Summary

Designed and tested a UART transmitter for serial data exchange.

Seminar: DVFS Optimization in Multicore Systems using AI/ML (Theoretical)

Summary

Explored AI/ML methods for optimizing Dynamic Voltage and Frequency Scaling (DVFS).