• 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