A compositional framework for hardware/software co-design

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Zedan, Hussein en
dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Dimitrov, J. en
dc.contributor.author Hale, R. en
dc.contributor.author Moszkowski, B. C.
dc.contributor.author Manjunathaiah, M.
dc.contributor.author Spivey, M.
dc.date.accessioned 2008-11-24T13:57:18Z
dc.date.available 2008-11-24T13:57:18Z
dc.date.issued 2002-01-01 en
dc.identifier.citation Zedan, H., Cau, A., Dimitrov, J. and Hale, R. (2002) A compositional framework for hardware/software co-design. Design Automation for Embedded Systems, 6(4), pp. 367-399.
dc.identifier.issn 1572-8080 en
dc.identifier.uri http://hdl.handle.net/2086/257
dc.description We report the findings of the EPSRC-collaborative project (GR/M32474/01) with the PRG, (Hoare, He and Spivey). We have developed an integrated and practical approach for the compositional specification, design and analysis of mixed hardware/software systems. The design process is soundly based upon formal techniques, but includes integrated support for simulation, bringing more reliability within an environment which does not require a complete changeover from current practice. Our results have influenced the design of temporal e, a hardware specification and design language from Verisity and IBM’s hardware description verification language, Sugar; their methodology is based on our Assumption-Commitment framework which is detailed in this paper. en
dc.language.iso en en
dc.publisher Springer Verlag en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title A compositional framework for hardware/software co-design en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1023/A:1016507527035 en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record