Technical Report
A Formal Method for Hardware/Software Co-Design
Author(s): Ketil Stølen, Max Fuchs
Year: 1995
Number: TUM-I9517
Editor:
CR Classification:
CR General Terms:
Keywords:
Abstract:This paper presents a formal method supporting hardware/software co-design with respect to specification and verification. We introduce three different specification formats. Two of these are intended for the specification of asynchronous software; the third is more suited for digital hardware applications. All three formats are based on the assumption/commitment paradigm. We apply the proposed method to specify and decompose a timed FIFO queue which is partly to be implemented in hardware and partly to be implemented in software.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9517,
author = {Ketil St\olen and Max Fuchs},
title = {A Formal Method for Hardware/Software Co-Design},
number = {TUM-I9517},
institution = {Technische Univerit\"at M\"unchen},
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9517.html},
abstract = {This paper presents a formal method supporting hardware/software co-design with respect to specification and verification. We introduce three different specification formats. Two of these are intended for the specification of asynchronous software; the third is more suited for digital hardware applications. All three formats are based on the assumption/commitment paradigm. We apply the proposed method to specify and decompose a timed FIFO queue which is partly to be implemented in hardware and partly to be implemented in software. },
CRClassification = {},
CRGenTerms = {}
}
]]>