scientific article; zbMATH DE number 1091993
From MaRDI portal
Publication:4367304
Recommendations
- Digitale Hardware/Software-Systeme
- Digital hardware/software-systems. Specification and verification.
- Design of digital systems and devices
- scientific article; zbMATH DE number 811540
- scientific article; zbMATH DE number 53043
- scientific article; zbMATH DE number 3871202
- Digital circuits and systems
- Synthesis and analysis of digital circuits
Cited in
(6)- Towards operating system synthesis
- Digitale Hardware/Software-Systeme
- A practical introduction to hardware/software codesign.
- Separation logic for high-level synthesis
- scientific article; zbMATH DE number 811540 (Why is no real title available?)
- scientific article; zbMATH DE number 960152 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4367304)