Correct-by-Construction Approaches for SoC Design
FREE DOWNLOAD
English | 2014 | 160 pages | PDF | 3 MB
This book describes an approach for designing
Systems-on-Chip such that the system meets precise mathematical requirements.
The methodologies presented enable embedded systems
designers to reuse intellectual property (IP) blocks from existing designs in
an efficient, reliable manner, automatically generating correct SoCs from
multiple, possibly mismatching, components.
No comments:
Post a Comment