System level architecting
Specification RTL Coding Structural Verification Functional Verification

Specification writing Requirements Management Verilog SystemVerilog VHDL Linting RDC CDC Verification planning Simulation (UVM / non UVM) Formal, Coverage Closure

Office JAMA PRISMA DVT Code Generation (proprietary) SpyGlass / VCSpyglass Jasper (Superlinting) Questa CDC / RDC Simvision, Questa, VCS, Xsim, Modelsim, Verilator, Icarus Verilog, Jasper FPV