Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
UMoC++: A C++-Based Multi-MoC Modeling Environment
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.
2006 (English)In: Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL’05 / [ed] A. Vachoux, Springer Publishing Company, 2006, 115-130 p.Conference paper, Published paper (Refereed)
Abstract [en]

System-on-chip (SoC) and other complex distributed hardware/software systemscontain heterogeneous components that necessitate frameworks capable of expressingheterogeneous models of computation (MoCs) for modeling their functionalities.System-level design languages (SLDLs) that facilitate multi-MoCmodeling should have well-defined semantics and should be readily subjectedto formal analysis to handle the design complexity. As a result, we follow themulti-MoC paradigm based on timing abstraction and functional parameterizationsthat have rigorous denotational semantics, which are compliant to functionalidioms as shown in functional frameworks such as ForSyDe and SML-Sys.However, functional frameworks are not widely used in the industry due toissues related to efficiency and interoperability with other widely used SLDLs.This imposes a requirement for an imperative language-based implementationof these generic MoCs that offers all the advantages of the underlying formalsemantics. In this chapter, we formulate the basis for having generic MoCs in animperative language and describe the implementation of an untimed modelingframework called UMoC++.

Place, publisher, year, edition, pages
Springer Publishing Company, 2006. 115-130 p.
Keyword [en]
model of computation; heterogeneity; untimed; function semantics; functional language
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-66368OAI: oai:DiVA.org:kth-66368DiVA: diva2:483757
Conference
Forum on specification and Design Languages, FDL 2005. Lausanne, Switzerland. September 27-30, 2005
Note
QC 20120525Available from: 2012-01-25 Created: 2012-01-25 Last updated: 2012-05-25Bibliographically approved

Open Access in DiVA

No full text

Other links

http://www.imit.kth.se/~axel/papers/2006/FDL-Book-UMoC++Mathaikutty.pdf

Search in DiVA

By author/editor
Jantsch, Axel
By organisation
Microelectronics and Information Technology, IMIT
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 40 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf