RAVE

Forte Design Systems

A dataflow language used as a transaction-based sequencing language for development of block-level and chip-level testbenches for hardware verification.