Mentor Graphics Corp. (NASDAQ: MENT) today announced that Hewlett-Packard Co. has selected Questa® CDC as their corporate-wide standard solution for clock-domain crossing (CDC) verification and have successfully deployed the methodology across multiple projects in collaboration with the Mentor® technology experts. “We are extremely pleased with the results of our work with Mentor Graphics to deploy Questa CDC on our SoC designs,” stated Bill Doss, ASIC program manager, Industry Standard Server Division, HP. “Mentor’s industry-leading tools and highly skilled consultants significantly matured our organization’s ability to perform complete and accurate CDC verification. We are confident that we are now rooting out all CDC problems early in the development phase.” HP develops some of the world’s most highly integrated system-on-a-chip (SoC) designs that are in the range of hundreds of millions of logic gates in size and contain hundreds of clock domains. While the CDC verification challenges continue to mount, technology companies such as HP face shrinking time-to-market windows and cannot afford the risk of CDC design flaws leading to silicon re-spins. “The clocking complexity of our designs demands a rigorous approach to CDC verification,” said Larry Hufty, ASIC program manager, Networking Division, HP. “Mentor not only delivered the best tools for the job, but also worked with us to define the customized methodology that we needed to support our design styles.” Questa CDC is widely used as the gold-standard for CDC-signoff checking before tapeout, and its versatility enables it to be deployed across the full range of designs from SoCs to FPGAs allowing for consistent, company-wide methodologies. Questa CDC is one of many formal-based applications supported by the Questa platform, that range from fully automatic formal checking that everyone can easily use, to property checking with custom coded assertions for advanced users. The Questa platform includes an array of verification capabilities seamlessly blending simulation and formal-based technologies with common compilation and user interface features, as well as the Unified Coverage Database (UCDB).