Verification Compiler: Comprehensive, best-in-class verification in one product
The Verification Compiler™ is a new Synopsys product that represents a compelling vision in the industry for SoC verification. Verification Compiler is a complete portfolio of integrated, next-generation verification technologies that include advanced debug, static and formal verification, simulation, verification IP and coverage closure. Together these technologies offer a 5X performance improvement and a substantial increase in debug efficiency, enabling SoC design and verification teams to create a complete functional verification flow with a single product. The combination of next-generation technologies, integrated flows and a unique concurrent verification licensing model enables Verification Compiler to deliver 3X productivity overall.