Home : Book details : Book description

Description of  Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)

1680834029 pdf Recently, contract-based design has been proposed as an "orthogonal" approachthat complements system design methodologies proposed so far tocope with the complexity of system design. Contract-based design providesa rigorous scaffolding for verification, analysis, abstraction/refinement, andeven synthesis. Several results have been obtained in this domain buta unified treatment of the topic that can help put contract-based design inperspective has been missing. Contracts for System Design provides such a treatmentwhere contracts are precisely defined and characterized so that they canbe used in design methodologies with no ambiguity. It identifies the essence of complex system design using contracts througha mathematical "meta-theory", where all the properties of the methodology Read more