System Verilog, SoC Verification, Uvm, AMBA bus protocols, Coverage-driven verification, Fault injection simulations, RTL Gate level verification, AHB, Functional safety tests, formal verification, Connectivity Checking, APB, Axi, Property Checking