Hardware/Software Co-verification of a Telephone Exchange: A Case Study
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)
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.
hardware/software systems, C, VHDL, coverification
IdentifiersURN: urn:nbn:se:liu:diva-111405ISBN: 9780780310490ISBN: 0-7803-1049-7OAI: oai:DiVA.org:liu-111405DiVA: diva2:756240