Mixed-signal modeling and signoff
Behavioral models and real-number modeling, equivalence checks, and formal verification in my AMD role.
AMD experience →Skills
Modeling, verification, physical implementation, and software automation across the hardware workflow.
Behavioral models and real-number modeling, equivalence checks, and formal verification in my AMD role.
AMD experience →Scripts and configurable tools for verification, circuit sizing, engineering reports, and lab equipment control.
Lab automation at TI →Open-source RTL-to-layout flows, custom layout, transistor-level simulation, and power-grid checks.
OpenLane case study →Processor pipelines, FPGA memory organization, and configurable hardware for computation.
Academic systems →Programming and system tools used alongside hardware development, from GUI assemblers to embedded experiments.
Explore the projects →