Embedded Systems White Papers
IP Reuse Hardening Via Embedded Sugar Assertions
Overview Rapid design of complex chips requires acquisition and integration of reusable IP blocks. Effective reuse of an IP block requires documenting the designer's understanding of the block, particularly its interface requirements and any assumptions about its internal operation. Assertions embedded in the design can capture this knowledge so that any errors in the configuration or use of the IP will be caught quickly. Sugar 2.0, an upcoming standard property specification language being developed by the Accellera Formal Verification Technical Committee, provides a powerful means of expressing such assertions.
| Publisher | IBM | File Format | |
|---|---|---|---|
| Date Published | October 2002 | ||
| Format | White Papers | ||
| Topics | |||



