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.
How to download book
Buy this book
You can buy this book now only for $84.09. This is the lowest price for this book.
Download book free
If you want to download this book for free, please register, approve your account and get one book for free.
After that you may download book «Correct-by-Construction Approaches for SoC Design»: