Synopses & Reviews
This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements.
Synopsis
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.
Synopsis
The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Table of Contents
System-on-Chip Design.- Challenges in SoC design.- The AMBA soc platform.- Formal methods for SoC design.- Automatic verification using model/module checking.- Automatic protocol conversion.- Protocol conversion for multi-clock systems.- Incremental correct-by-construction SoC design.