TransEDA was founded in June 1992 to provide design verification tools for the Verilog and VHDL markets. Verification Navigator was an integrated design verification environment with tools that performed application-specific test automation, coverage analysis, dynamic property checking, test suite analysis and configurable HDL checking. Their system-level verification IP library contained models, monitors and properties for popular I/O interfaces and processors.
