A compositional framework for hardware/software co-design

Date
2002-01-01
Authors
Zedan, Hussein
Cau, A. (Antonio)
Dimitrov, J.
Hale, R.
Moszkowski, B. C.
Manjunathaiah, M.
Spivey, M.
Journal Title
Journal ISSN
ISSN
1572-8080
Volume Title
Publisher
Springer Verlag
Peer reviewed
Abstract
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.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
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.
Research Institute