A compositional framework for hardware/software co-design

Date

2002-01-01

Advisors

Journal Title

Journal ISSN

ISSN

1572-8080

Volume Title

Publisher

Springer Verlag

Type

Article

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.

Rights

Research Institute