Correct-by-Construction Approaches for SoC Design | EKB DL

Home BookCorrect-by-Construction Approaches for SoC Design

Correct-by-Construction Approaches for SoC Design

Correct-by-Construction Approaches for SoC Design

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.

Keywords

Technology & EngineeringElectronicsCircuitsComputersComputer ArchitectureElectrical

2013Book

Author(s)Roopak Sinha

PublisherSpringer New York

ISBN9781461478638

LanguageEnglish

SpringerLink Book

Similar Books

A Platform-Centric Approach to System-on-Chip (SOC) Design

A Platform-Centric Approach to System-on-Chip (SOC) Design

High-Level Verification Methods and Tools for Verification of System-Level Designs

High-Level Verification Methods and Tools for Verification of System-Level Designs

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

System-on-Chip Next Generation Electronics

System-on-Chip Next Generation Electronics

Synchronous Equivalence Formal Methods for Embedded Systems

Synchronous Equivalence Formal Methods for Embedded Systems

Reuse Techniques for VLSI Design

Reuse Techniques for VLSI Design

Advanced Techniques for Embedded Systems Design and Test

Advanced Techniques for Embedded Systems Design and Test

Essential Issues in SOC Design Designing Complex Systems-on-Chip

Essential Issues in SOC Design Designing Complex Systems-on-Chip

Embedded System Design Modeling, Synthesis and Verification

Embedded System Design Modeling, Synthesis and Verification

Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems