• DocumentCode
    2410376
  • Title

    Specification of non-functional intellectual property components

  • Author

    Zhu, Jianwen ; Mong, Wai Sum

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
  • fYear
    2003
  • fDate
    2003
  • Firstpage
    456
  • Lastpage
    461
  • Abstract
    In its most general sense, intellectual property components (IPs) refer to any design artifacts that are reusable. While the specification of the functional IPs, such as behavioral and RTL specifications have been widely investigated, the specifications of others, such as timing, constraints, layouts and architectures are largely ad hoc. This leads to different standard or proprietary file/database formats with interoperatability problems, which eventually hinder the distribution and integration of IPs. In this paper, we address the difficult problem of integrating semantically diverse non-functional IPs by the use of a new, extensible language called Babel. Despite its simple 1-page grammar, Babel is frontend for a powerful IP-based design infrastructure. We demonstrate the effectiveness of our approach by two case studies, one for the creation of parameterized memory IPs and one for the creation of processor IPs.
  • Keywords
    circuit CAD; formal specification; industrial property; specification languages; system-on-chip; Babel language; design reuse; formal specification; nonfunctional intellectual property component; system-on-chip; Computational modeling; Data models; Databases; Electronic design automation and methodology; Information security; Intellectual property; Specification languages; Standards organizations; Timing; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe Conference and Exhibition, 2003
  • ISSN
    1530-1591
  • Print_ISBN
    0-7695-1870-2
  • Type

    conf

  • DOI
    10.1109/DATE.2003.1253651
  • Filename
    1253651