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
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;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2003
Print_ISBN :
0-7695-1870-2
DOI :
10.1109/DATE.2003.1253651