A formalism of the specifications for library development - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A formalism of the specifications for library development

Résumé

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.

Domaines

Electronique
Fichier non déposé

Dates et versions

hal-00953500 , version 1 (28-02-2014)

Identifiants

Citer

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⟩
108 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More