AI Agentic CAD & Formal Verification Tools

Claude Code CAD Automation
AI Agents & Custom Skills
CAD Automation Hooks
Synopsys ESP
Cadence Conformal LEC
XMODEL & MODELZEN
Gemini 3.1 Pro / Antigravity
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