Mittuniversitetet

miun.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Multi-phase validation of hardware/software interfaces based on generated simulation models
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
1998 (Engelska)Ingår i: IEEE International High Level Design Validation and Test Workshop : Sheraton Grande Torrey Pinnes, La Jolla, California, November 12 - 14, 1998; [digest of papers] / HLDVT-98: HLDVT-98, [LaJolla, Calif.]: IEEE , 1998, s. 218-Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Hardware/Software interfaces are a critical point for system simulation because the hardware and software parts are developed by separate development activities. Our multi-phase validation approach facilitates the simulation of the interfaces at several steps during development. We keep all the simulation models consistent with both the specification and the implementation by generating the models with a technique derived from interface synthesis, that enables the interface specification, simulation models, and implementation to be consistent with each other. We justify validation in several phases by (a) the up to four orders of magnitude faster simulation of early phases compared to late phases, and by (b) allowing both HW designer and SW developers to work in their familiar tool environment as long as possible.

Ort, förlag, år, upplaga, sidor
[LaJolla, Calif.]: IEEE , 1998. s. 218-
Nyckelord [en]
validation, hw/sw interfaces, hw/sw codesign
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:miun:diva-1494Lokalt ID: 615OAI: oai:DiVA.org:miun-1494DiVA, id: diva2:26526
Tillgänglig från: 2008-09-30 Skapad: 2008-09-30 Senast uppdaterad: 2025-09-25Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Person

O'Nils, Mattias

Sök vidare i DiVA

Av författaren/redaktören
O'Nils, Mattias
Av organisationen
Institutionen för informationsteknologi och medier
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 394 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf