Correct-by-Construction System on Chip Design
Sinha, Roopak; Roop, Parthasarathi; Basu, Samik
€ 127.76
FREE Delivery in Ireland
Description for Correct-by-Construction System on Chip Design
Hardback. Correct-by-Construction Approaches for SoC Design Num Pages: 165 pages, 5 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 421.
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.
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.
Product Details
Format
Hardback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
165
Condition
New
Number of Pages
144
Place of Publication
New York, NY, United States
ISBN
9781461478638
SKU
V9781461478638
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Correct-by-Construction System on Chip Design