SpyGlass(R) CDC by Atrenta Inc.

Product Description

The SpyGlass® CDC solution is the industry's most comprehensive, practical, and powerful clock domain crossing (CDC) solution. SpyGlass CDC automatically identifies and formally verifies all synchronization schemes that you throw at it.

Among the many verification challenges confronting system-on-chip (SOC) designers these days, CDCs rank near the top in difficulty. The latest SOCs may have dozens or even thousands of clock domains, many of them difficult to verify using conventional tools such as simulation. For these bugs to be detected in simulation it requires long simulation runs and a chance encounter. As a consequence, CDCs have become a leading cause of design errors. Such errors can add significant time and expense to the design-and-debug cycle, and may even find their way into silicon, necessitating costly re-spins.

SpyGlass(R) CDC

Market Segment(s)

• Enterprise
• Home
• Mobile

ARM Processor(s)

• Cortex-A53
• Cortex-A57
• ARMv8