DocumentCode
131245
Title
A reference-based specification tool for creating reliable library development specifications
Author
Jung Kyu Chae ; Mougeat, Paul ; Francois, Jean-Arnaud ; Chotin-Avot, Roselyne ; Mehrez, H.
Author_Institution
Central CAD & Design Solutions, STMicroelectron., Crolles, France
fYear
2014
fDate
22-25 June 2014
Firstpage
133
Lastpage
136
Abstract
Library development requires a wide variety of information independent of cells such as Process-Voltage-Temperature (PVT) corners and CAD tools´ information. With technology scaling, such information increases continuously. Dealing with the specifications containing this information is therefore a crucial issue for library providers due to the great impact of the specification reliability on the quality of library. However, its definition is manually carried out depending upon the expertise of specification developers. It may lead to some specification problems such as inconsistency and incompleteness. In this paper, a specification language based on eXtensible Markup Language (XML) is used to encapsulate all cell-independent information for library development. We propose a reference-based specification tool to achieve reliable specifications. The experimental results show that it permits to efficiently and rapidly create complete and consistent specifications for library development in comparison to the manual method.
Keywords
XML; database management systems; formal specification; CAD tool information; PVT corners; XML; computer aided design; extensible markup language; library development specifications; library providers; library quality; process-voltage-temperature corner; reference-based specification tool; specification language; technology scaling; Data models; Databases; Dictionaries; Libraries; Reliability; System-on-chip; XML; cell-independent information; complete and consistent specification; library development; specification tool;
fLanguage
English
Publisher
ieee
Conference_Titel
New Circuits and Systems Conference (NEWCAS), 2014 IEEE 12th International
Conference_Location
Trois-Rivieres, QC
Type
conf
DOI
10.1109/NEWCAS.2014.6934001
Filename
6934001
Link To Document