Marte Timing Requirement and Spirit IP-XACT

Aamir Mehmood Khan; Frédéric Mallet; Charles André; Robert De Simone

inria-00321953, version 1

Marte Timing Requirement and Spirit IP-XACT

Aamir Mehmood Khan ^1, 2, Frédéric Mallet ()^a^, 1, 2, Charles André ()^a^, 1, 2, Robert De Simone ()^b^, 1, 2

N° RR-6647 (2008)

Résumé : Abstract: Large System-on-Chips are built by assembly of existing components modeled at different representation levels (TLM, RTL). The IP-Xact standard was developed to ease interoperability of IPs from different vendors. Currently, it focuses on structural, typing and memory-related information and does not fully face behavioral and timing representation issues. UML Marte profile explicitly focuses on the rich expression of time (physical or logical). Combining both specifications allows for introducing a higher timed representation level and for extending IP-Xact with timing characteristics. Such timing characteristics are used to validate IP-Xact models by composing component behaviors and compare existing TLM and RTL implementations.

a – Université de Nice Sophia-Antipolis
b – INRIA
1 : AOSTE (INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S)
INRIA – Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271
2 : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S)
Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271

inria-00321953, version 1
http://hal.inria.fr/inria-00321953
oai:hal.inria.fr:inria-00321953
Contributeur : Frédéric Mallet <>
Soumis le : Mardi 16 Septembre 2008, 11:48:55
Dernière modification le : Mardi 16 Septembre 2008, 11:55:26

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Rapports</head>
<biblStruct type="report" xml:id="inria-00321953"><monogr>
<author><persName><forename>Aamir</forename><surname>Mehmood Khan</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S</orgName>
<orgName type="team">AOSTE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">I3S</orgName>
<orgName type="team">Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis</orgName>
<country>FR</country>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
</author>
<author><persName><forename>Frédéric</forename><surname>Mallet</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S</orgName>
<orgName type="team">AOSTE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">I3S</orgName>
<orgName type="team">Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis</orgName>
<country>FR</country>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
</author>
<author><persName><forename>Charles</forename><surname>André</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S</orgName>
<orgName type="team">AOSTE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">I3S</orgName>
<orgName type="team">Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis</orgName>
<country>FR</country>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
</author>
<author><persName><forename>Robert</forename><surname>De Simone</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S</orgName>
<orgName type="team">AOSTE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">I3S</orgName>
<orgName type="team">Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis</orgName>
<country>FR</country>
<orgName type="institution">Université Nice Sophia Antipolis [UNS]</orgName>
<orgName type="institution">CNRS : UMR7271</orgName>
</affiliation>
</author>
<title type="main" level="m">Marte Timing Requirement and Spirit IP-XACT</title><title type="main" level="m">Marte Timing Requirement and Spirit IP-XACT</title><imprint><biblScope type="publicationDate">2008-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00321953</idno><idno type="HALFile">http://hal.inria.fr/inria-00321953/PDF/RR-6647.pdf</idno></biblStruct>
</listBibl>
</listBibl>