A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Rigorous System Design
2012
Foundations and Trends® in Electronic Design Automation
Separation of concerns: Keep separate what functionality is provided (application SW) from how its is implemented by using resources of the target platform Coherency: Based on a single model to avoid gaps between steps due to the use of semantically unrelated formalisms e.g. for programming, HW description, validation and simulation, breaking continuity of the design flow and jeopardizing its coherency Components: Use components for productivity and enhanced correctness
doi:10.1561/1000000034
fatcat:gwvs34l3njesnete23mjsq7oce