Vcs, Pli, Verilog, regression management, NCSim, formal verification methodology, Uvm, Testplan development, verification planner, VHDL, assertions, Questa, gate level simulations, Modelsim, functional coverage, SVA, dpi