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

Direct link
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
URN: urn:nbn:se:liu:diva-111405ISBN: 9780780310490ISBN: 0-7803-1049-7OAI: 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

Search in DiVA

By author/editor
Taxén, Lars
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 34 hits
ReferencesLink to record
Permanent link

Direct link