liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Hardware/Software Co-verification of a Telephone Exchange: A Case Study
Ericsson, Stockholm, Sweden .
Ericsson, Stockholm, Sweden .
1995 (English)In: Codesign: computer aided software/hardware engineering / [ed] J. Rozenblit and K. Buchenrieder, Piscataway: IEEE Press, 1995, 414-424 p.Chapter in book (Refereed)
Abstract [en]

 Large hardware/software systems can be modeled in C and VHDL and functionally completely verified early in the design process. This means that errors can be detected early and that continuous modeling and coverification can be done during the entire design process. The models will act as a contract between software and hardware design departments, and thus contribute to the quality of the design

Place, publisher, year, edition, pages
Piscataway: IEEE Press, 1995. 414-424 p.
Keyword [en]
hardware/software systems, C, VHDL, coverification
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:liu:diva-111405ISBN: 9780780310490 (print)ISBN: 0-7803-1049-7 (print)OAI: oai:DiVA.org:liu-111405DiVA: diva2:756240
Available from: 2014-10-16 Created: 2014-10-16 Last updated: 2014-10-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Find book at a Swedish library/Hitta boken i ett svenskt bibliotekFind book in another country/Hitta boken i ett annat land

Authority records BETA

Taxén, Lars

Search in DiVA

By author/editor
Taxén, Lars
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 55 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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