Veritable provides design verification and test products and services to the electronic design industry, specializing in the emerging system chip area. The company's principal products are the Verity-Check, the Design Verity property checker which is a formal validation tool that simplifies and speeds up design checking, and Verity-Validation, a dynamic property checking tool that uses static formal analysis techniques to generate a test-bench that is simulated dynamically using a traditional logic simulator.


Go directly to Veritable, Inc. for more company and product information.