SpyGlass Cdc White Papers
| Product |
White Papers |
Link |
| SpyGlass CDC |
Combining Structural and Functional Verification Techniques to Improve Effective CDC Verification
Combining Structural and Functional Verification Techniques to Improve Effective CDC Verification
Abstract
Multiple, independent clocks have become a fact of life on SoCs and other complex ASICs. In extreme cases, such as in large communications processors, clock domains may number in the thousands. Clock domain crossings pose a growing challenge to chip designers
Download this White Paper
|
Download
|
| SpyGlass CDC |
Verification of Multi-Clock Designs - The Bigger Picture
Verification of Multi-Clock Designs - The Bigger Picture
Abstract
This white paper outlines a holistic approach to resolving issues associated with ever increasing numbers of clock interfaces, where data is transferred between clocks of different frequencies and often between asynchronous domains. The paper suggests exercising various technologies as part of an intuitive user environment, and highlights why addressing one issue in isolation can at best jeopardize timing closure, and at worst introduce silicon risk.
Download this White Paper
|
Download
|
| SpyGlass CDC |
Understanding Formal Verification Concepts - Part 1
Understanding Formal Verification Concepts - Part 1
Abstract
This paper describes formal verification concepts and the differences between formal and simulation techniques, especially in the context of assertion-based verification. The assertion- based verification flow and some of the formal verification algorithms are also discussed in detail. Last but not the least, a few applications of formal technology in the context of ASIC designs are also listed.
Download this White Paper
|
Download
|
| SpyGlass CDC |
Understanding Formal Verification Concepts - Part 2
Understanding Formal Verification Concepts - Part 2
Abstract
In this second white paper in a three-part series about formal verification concepts, we examine the assertion-based verification flow and some of the formal verification algorithms. This kind of approach has become necessary as SoC designs become more challenging and as the traditional method of simulation proves too slow, too costly, and insufficient in terms of coverage.
Download this White Paper
|
Download
|
| SpyGlass CDC |
Understanding Formal Verification Concepts - Part 3
Understanding Formal Verification Concepts - Part 3
Abstract
In this final white paper in a three-part series about formal verification concepts, we examine the assertion-based verification flow and some of the formal verification algorithms.
Download this White Paper
|
Download
|
White Papers Home
SpyGlass Cdc Home
|
