Design Specification and Verification

Jørgen Staunstrup

Design Specification and Verification

Jørgen Staunstrup

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

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 language	English
Title of host publication	Hardware/Software Co-Design: Principles and Practice
Publisher	Kluwer Academic Publishers
Publication date	1997
Pages	193-234
Publication status	Published - 1997

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{7717d5644898459abfed29a37e3a4071,

title = "Design Specification and Verification",

abstract = "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.",

author = "J{\o}rgen Staunstrup",

year = "1997",

language = "English",

pages = "193--234",

booktitle = "Hardware/Software Co-Design: Principles and Practice",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}

TY - GEN

T1 - Design Specification and Verification

AU - Staunstrup, Jørgen

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 193

EP - 234

BT - Hardware/Software Co-Design: Principles and Practice

PB - Kluwer Academic Publishers

ER -