Mixed-signal modeling and signoff

Behavioral models and real-number modeling, equivalence checks, and formal verification in my AMD role.

  • XMODEL
  • MODELZEN
  • RNM
  • Cadence Conformal LEC
  • Synopsys ESP
AMD experience →

CAD and lab automation

Scripts and configurable tools for verification, circuit sizing, engineering reports, and lab equipment control.

  • Python
  • TCL
  • Perl
  • Bash
  • ML circuit sizing
  • Git
Lab automation at TI →

Physical design and reliability

Open-source RTL-to-layout flows, custom layout, transistor-level simulation, and power-grid checks.

  • OpenLane
  • Magic VLSI
  • Ngspice
  • Ansys Redhawk
  • CMOS logic
OpenLane case study →

Hardware architecture

Processor pipelines, FPGA memory organization, and configurable hardware for computation.

  • Verilog
  • PicoRV32
  • ARM v7
  • MIPS
  • FPGA BRAM / LUTs
  • Computer architecture
Academic systems →

Software and engineering environments

Programming and system tools used alongside hardware development, from GUI assemblers to embedded experiments.

  • Python
  • C / C++
  • MATLAB
  • Linux
  • SFTP
  • Raspberry Pi
Explore the projects →