Correct-by-Construction Approaches for SoC Design

Provides a single-source reference to correct-by-construction SoC design Focuses on system-level verification Enables optimized design cycles, with techniques to reuse IP blocks reliably Uses realistic SoC case studies to highlight the concepts introduced Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA Includes supplementary material: sn.pub/extras

Verwandte Artikel

Correct-by-Construction Approaches for SoC Design Sinha, Roopak, Basu, Samik, Roop, Parthasarathi

106,99 €*

Weitere Produkte vom selben Autor

Correct-by-Construction Approaches for SoC Design Sinha, Roopak, Basu, Samik, Roop, Parthasarathi

106,99 €*
Representing and Reasoning with Qualitative Preferences Santhanam, Ganesh Ram, Honavar, Vasant, Basu, Samik

42,79 €*