Design Specification and Verification

Jørgen Staunstrup

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    This is chapter 7 in an edited book that presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems. This book is the result of a series of Ph.D. courses on hardware/software co-design held over the past two-and-a-halfyears.
    Original languageEnglish
    Title of host publicationHardware/Software Co-Design: Principles and Practice
    PublisherKluwer Academic Publishers
    Publication date1997
    Publication statusPublished - 1997

    Cite this