simvision , Vcs, waveform analysis, Verisium, Xcelium, Questa, formal verification tools, Uvm, coverage-driven verification, systemverilog

simvision , Vcs, Verisium, Questa, waveform analysis, Uvm, formal verification tools, systemverilog, coverage-driven verification, Xcelium