The company’s Verilog products include: VirSim, an advanced design debugging environment; VeriCov, a code coverage tool that provides a quantitative measure of the quality of simulation tests; and Virtual-CPU, a hardware-software co-verification environment for embedded system designers.
