Open licensing of the vera environment

VERA, from Synopsys, provides full support for automatic generation of stimulus, including the ability to generate directed, random and constrained random tests.

SystemC is a C++ class library that allows design of mixed hardware and softwaresystems at different levels of abstraction.

Spin is a widely distributed software package that supports the formal verification of distributed systems.

The Murphi description language is based on a collection of guarded commands (condition/action rules), which are executed repeatedly in an infinite string.

Libero uses a programmable code generator engine. To generate code in a specific language, you write a new schema. A schema is like a script or program, written using Libero's schema language.

Jeda is a C-like programming language for hardware design verification.

DGL, from P Maurer of Baylor University, generates test data for software or hardware. Tests can be generated either systematically or randomly, or some combination of both.