NDLI: An algebraic theory for behavioral modeling and protocol synthesis in system design

Content Provider	Springer Nature Link
Author	Talpin, Jean Pierre Guernic, Paul
Copyright Year	2006
Abstract	The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc system-level design methodologies, that lifts modeling to higher levels of abstraction, and the concept of intellectual property (IP), that promotes reuse of existing components, are essential steps to manage design complexity. However, the issue of compositional correctness arises with these steps. Given components from different manufacturers, designed with heterogeneous models, at different levels of abstraction, assembling them in a correct-by-construction manner is a difficult challenge. We address this challenge by proposing a process algebraic model to support system design with a formal model of computation and serve as a type system to capture the behavior of system components at the interface level. The proposed algebra is conceptually minimal, equipped with a formal semantics defined in a synchronous model of computation. It supports a scalable notion and a flexible degree of abstraction. We demonstrate its benefits by considering the type-based synthesis of latency-insensitive protocols, showing that the synthesis of component wrappers can be optimized by behavioral information carried by interface type descriptions and yield minimized stalls and maximized throughput.
Starting Page	131
Ending Page	151
Page Count	21
File Format	PDF
ISSN	09259856
Journal	Formal Methods in System Design
Volume Number	28
Issue Number	2
e-ISSN	15728102
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2006-05-03
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Synchrony Process algebra Compositional modeling GALS design Software Engineering/Programming and Operating Systems Computer-Aided Engineering (CAD, CAE) and Design Electronic and Computer Engineering Circuits and Systems
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An algebraic theory for behavioral modeling and protocol synthesis in system design

Cones and foci: A mechanical framework for protocol verification

Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics

Modeling a Hardware Synthesis Methodology in Isabelle

A Framework for Modeling the Distributed Deployment of Synchronous Designs

Antichains and compositional algorithms for LTL synthesis

Special issue on learning techniques for compositional reasoning

Formula-Dependent Equivalence for Compositional CTL Model Checking

Reasoning about synchronization in GALS systems

An algebraic theory for behavioral modeling and protocol synthesis in system design

Similar Documents

An algebraic theory for behavioral modeling and protocol synthesis in system design

Cones and foci: A mechanical framework for protocol verification

Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics

Modeling a Hardware Synthesis Methodology in Isabelle

A Framework for Modeling the Distributed Deployment of Synchronous Designs

Antichains and compositional algorithms for LTL synthesis

Special issue on learning techniques for compositional reasoning

Formula-Dependent Equivalence for Compositional CTL Model Checking

Reasoning about synchronization in GALS systems

An algebraic theory for behavioral modeling and protocol synthesis in system design