A compositional framework for hardware/software co-design

DOI10.1023/A:1016507527035MaRDI QIDQ1859164zbMATH OpenFDO

Authors Yanyan Li

Publication date 17 February 2003

Published in Design Automation for Embedded Systems (Search for Journal in Brave)

zbMATH Keywords

refinementcompositionalityHW/SW co-designexecutable specificationHDL

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Mathematical problems of computer architecture (68M07) Computer system organization (68M99)

Recommendations

• Compositional Reasoning for Hardware/Software Co-verification
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• scientific article; zbMATH DE number 1233950
• High-level design of embedded hardware-software systems
• scientific article; zbMATH DE number 811540

Cited in

(7)

• TTL: A modular language for hardware/software systems design.
• Compositional Reasoning for Hardware/Software Co-verification
• Refining specifications to programmable logic
• scientific article; zbMATH DE number 2065567 (Why is no real title available?)
• Hardware/software co-design then and now
• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• scientific article; zbMATH DE number 1955871 (Why is no real title available?)

This page was built for publication: A compositional framework for hardware/software co-design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1859164)