CAD Automation & Formal Verification Tools

Python CAD Automation
TCL Flow Automation
CAD Automation Hooks
Synopsys ESP
Cadence Conformal LEC
XMODEL & MODELZEN
Bash Scripting
ML Analog Circuit Sizing

VLSI CAD & Analog Design Tools

OpenLane Flow
Magic VLSI
Ansys Redhawk
XModel (RNM)
Ngspice
Analog CAD Automation
Synthesis & Optimization
CMOS Logic Design

HDLs & Hardware Architecture

Verilog HDL
RISC-V (PICORV32)
ARM v7
MIPS Architecture
RNM Modeling
High-Performance Computing
Computer Architecture
FPGA BRAM / LUTs

Software & Automation Scripting

Python (ML & GUI)
C / C++
MATLAB
TCL Scripting
Perl
Bash / Shell Scripting
Git & Version Control
Linux / SFTP / RPi