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
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;
Conference_Titel :
New Circuits and Systems Conference (NEWCAS), 2014 IEEE 12th International
Conference_Location :
Trois-Rivieres, QC
DOI :
10.1109/NEWCAS.2014.6934001