Correct-By-Construction Approaches for Soc Design
| AUTHOR | Basu, Samik; Roop, Parthasarathi; Sinha, Roopak |
| PUBLISHER | Springer (08/23/2015) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9781489986399
ISBN-10:
1489986391
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
144
Carton Quantity:
46
Product Dimensions:
6.14 x 0.36 x 9.21 inches
Weight:
0.54 pound(s)
Feature Codes:
Illustrated
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Computer Architecture
Computers | Electronics - Circuits - General
Computers | Hardware - Mainframes & Minicomputers
Dewey Decimal:
004.1
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Author:
Basu, Samik
Samik Basu is a professor of computer science at Iowa State University. He received his Ph.D. in computer science from the State University of New York at Stony Brook in 2003. His research focuses on formal specification and verification of systems, and the application of logic-based techniques to address safety, security, and optimization problems for software and network-based systems. His research has been funded by several grants from the National Science Foundation. He has published over 70 research articles in major journals and conferences.
Show More
List Price $109.99
Your Price
$108.89