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.

Further White Paper Details
PublisherIBM File FormatPDF
Date PublishedOctober 2002
FormatWhite Papers   
Topics
  • Featured White Papers
Thin clients switch on digitally excluded

Thin clients switch on digitally excluded

Case study: Digital inclusion project tackles social exclusion in Liverpool more

Renault goes multilingual

Renault goes multilingual

Case study: Translation tech turns docs into 23 languages… more


Quick Sitemap Links: