Skip to Main content Skip to Navigation
Conference papers

A formalism of the specifications for library development

Abstract : In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is how to deal with the specifications containing such information. Moreover, these specifications often have informality, inconsistency, and incompleteness problems. It results in increasing library development time and error. Therefore, we propose a formalism of the specifications for library development and a formal specification language based on XML.
Document type :
Conference papers
Complete list of metadatas
Contributor : Jung Kyu Chae <>
Submitted on : Friday, February 28, 2014 - 11:59:06 AM
Last modification on : Thursday, March 21, 2019 - 2:30:33 PM



Jung Kyu Chae, Paul Mougeat, Jean-Arnaud Francois, Roselyne Chotin-Avot, Habib Mehrez. A formalism of the specifications for library development. IEEE International System-on-Chip Conference, Sep 2013, Erlangen, Germany. pp.307-312, ⟨10.1109/SOCC.2013.6749706⟩. ⟨hal-00953500⟩



Record views