C, Asic verification, UVM verification methodology, EDA Tools, IP block integration, SoC design principles, system-level verification