cv

My professional background, education, and experience. Download the full resume using the button above or browse the sections below.

General Information

Full Name Mudit Bhargava
Email muditbhargava666@gmail.com
Specializations Hardware Security, Formal Verification, RTL/ASIC Design, Systems Architecture
Languages English, Hindi

Technical Skills

  • RTL & HDL Design
    • Verilog, SystemVerilog, VHDL
    • AXI4/AXI4-Stream interfaces, JTAG/IEEE 1149.1
    • Cryptographic RTL (AES-256-GCM, ChaCha20-Poly1305, DES/3DES)
  • Formal Verification & Testing
    • SymbiYosys (bounded model checking, k-induction)
    • SystemVerilog Assertions (SVA) — property suites, cover properties
    • cocotb (Python-based simulation testbenches)
    • Verilator, Icarus Verilog
  • ASIC & FPGA Flow
    • Xilinx Vivado, Intel Quartus Prime
    • TinyTapeout / sky130A PDK (OpenLane ASIC flow)
    • FuseSoC build system integration
    • Synthesis, place-and-route, timing closure
  • Programming & Systems
    • Python, C/C++, MATLAB, Shell Scripting
    • Git, GitHub Actions CI/CD, Docker
    • Jupyter Notebooks, VS Code
  • Machine Learning & Data (secondary)
    • TensorFlow, PyTorch, Scikit-learn
    • Time Series Analysis, Predictive Modeling
    • Pandas, NumPy, SciPy

Research Interests

  • Hardware security — Trojan detection, side-channel analysis, secure manufacturing
  • Formal verification as a security assurance mechanism for cryptographic hardware
  • RTL-to-silicon design flows with open-source EDA toolchains
  • Processor microarchitecture — superscalar pipelines, cache hierarchies, RISC-V

Professional Development

  • Accepted paper at ACM ASIACCS 2026 (SCREAM framework)
  • Active maintainer of open-source hardware security projects
  • Regular contributor to formal verification and RTL design communities
  • Attendance at conferences in hardware security and EDA

Tools & Technologies

  • EDA & Hardware Tools
    • Yosys, SymbiYosys, Verilator, Icarus Verilog
    • OpenLane, Magic VLSI, KLayout
    • GTKWave, Surfer waveform viewer
  • Development & DevOps
    • Git, GitHub, Docker, CI/CD pipelines
    • pre-commit hooks, linting, automated testing
  • Cloud & Computing
    • AWS, Google Cloud Platform
    • CUDA, OpenCL for GPU computing

Other Interests

  • Technical: Open-source hardware, Quantum computing, RISC-V ecosystem
  • Personal: Photography, Travel, Reading technical papers