A compositional framework for hardware/software co-design
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.
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.
ISSN : 1572-8080
Research Group : Software Technology Research Laboratory (STRL)