TransEDA is a leading provider of integrated verification solutions for system-on-chip (SoC), application-specific integrated circuit (ASIC) and field-programmable gate array (FPGA) designs. TransEDA was founded in 1992 in the United Kingdom. In October 2003, the company merged its operations with TNI-Valiosys, a formal verification and validation solutions provider, to provide solutions for the growing validation challenge. The company’s products provide a ready-to-use, structured verification environment that works with existing flows and methodologies to enable users to quickly increase their verification productivity and get designs into production sooner. TransEDA Verification Navigator is an integrated design verification environment with tools that perform application-specific test automation, coverage analysis, dynamic property checking, test suite analysis and configurable HDL checking. TransEDA Foundation Models system level verification IP library provides robust, production-proven models, monitors and properties for popular I/O interfaces and leading processors.