Digital Design Verification
Pure digital and digital-mixed-signal design verification
Simulation based verification using UVM methodology
GLS simulations
Formal Verification
Coverage Analysis
Regression run analysis
Top-level verification in UVM and C