Correct-by-Construction Approaches for SoC Design

Correct-by-Construction Approaches for SoC Design

4.11 - 1251 ratings - Source



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.Microwave Theor. Tech. ... Reuse Methodology Manual for SystemOn-A-Chip Designs (Springer, New York, 2002) Z.J. Oster, G.R. Santhanam, S. Basu, Identifying optimal composite services by decomposing the service composition problem.


Title:Correct-by-Construction Approaches for SoC Design
Author: Roopak Sinha, Parthasarathi Roop, Samik Basu
Publisher:Springer Science & Business Media - 2013-08-23
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA