Coverscan, a Verilog coverage analysis tool that provides information about which portions of the HDL colde have been exercised and tested.
Signalscan DX is a complete waveform viewing, simulation analysis, and tightly coupled source code debugging environment for Verilog and mixed Verilog/analog simulation.
Checkbench TX, as part of the DAI Transaction Based Verification (TBV) Family of products.
