FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031381504> ?p ?o ?g. }

• W2031381504 endingPage "303" @default.
• W2031381504 startingPage "261" @default.
• W2031381504 abstract "Rising complexities and performances of integrated circuits and systems, shortening time-to-market demands for electronic equipments, growing installed bases of intellectual property (IP), requirements for adapting existing IP blocks with new services, all stress high-level design as a prominent research topic and call for the development of appropriate methodological solutions. In this aim, system design based on the so-called synchronous hypothesis consists of abstracting the nonfunctional implementation details of a system and lets one benefit from a focused reasoning on the logics behind the instants at which the system functionalities should be secured. With this point of view, synchronous design models and languages provide intuitive (ontological) models for integrated circuits. This affinity explains the ease of generating synchronous circuits and verify their functionalities using compilers and related tools that implement this approach. In the relational mathematical model behind the design language SIGNAL, this affinity goes beyond the domain of purely synchronous circuits, and embraces the context of complex architectures consisting of synchronous circuits and desynchronization protocols: globally asynchronous and locally synchronous architectures (GALS). The unique features of the relational model behind SIGNAL are to provide the notion of polychrony: the capability to describe circuits and systems with several clocks; and to support refinement: the ability to assist and support system design from the early stages of requirement specification, to the later stages of synthesis and deployment. The SIGNAL model provides a design methodology that forms a continuum from synchrony to asynchrony, from specification to implementation, from abstraction to concretization, from interfaces to implementations. SIGNAL gives the opportunity to seamlessly model circuits and devices at multiple levels of abstractions, by implementing mechanisms found in many hardware simulators, while reasoning within a simple and formally defined mathematical model. In the same manner, the flexibility inherent to the abstract notion of signal, handled in the synchronous-desynchronized design model of SIGNAL, invites and favors the design of correct by construction systems by means of well-defined transformations of system specifications (morphisms) that preserve the intended semantics and stated properties of the architecture under design. The aim of the present article is to review and summarize these formal, correct-by-construction, design transformations. Most of them are implemented in the POLYCHRONY tool-set, allowing for a mixed bottom–up and top–down design of an embedded hardware–software system using the SIGNAL design language." @default.
• W2031381504 created "2016-06-24" @default.
• W2031381504 creator A5010968465 @default.
• W2031381504 creator A5049336540 @default.
• W2031381504 creator A5067313227 @default.
• W2031381504 date "2003-06-01" @default.
• W2031381504 modified "2023-10-16" @default.
• W2031381504 title "POLYCHRONY for System Design" @default.
• W2031381504 cites W2040789302 @default.
• W2031381504 cites W2046555386 @default.
• W2031381504 cites W4206455946 @default.
• W2031381504 doi "https://doi.org/10.1142/s0218126603000763" @default.
• W2031381504 hasPublicationYear "2003" @default.
• W2031381504 type Work @default.
• W2031381504 sameAs 2031381504 @default.
• W2031381504 citedByCount "195" @default.
• W2031381504 countsByYear W20313815042012 @default.
• W2031381504 countsByYear W20313815042013 @default.
• W2031381504 countsByYear W20313815042014 @default.
• W2031381504 countsByYear W20313815042015 @default.
• W2031381504 countsByYear W20313815042016 @default.
• W2031381504 countsByYear W20313815042017 @default.
• W2031381504 countsByYear W20313815042018 @default.
• W2031381504 countsByYear W20313815042019 @default.
• W2031381504 countsByYear W20313815042020 @default.
• W2031381504 countsByYear W20313815042021 @default.
• W2031381504 countsByYear W20313815042022 @default.
• W2031381504 countsByYear W20313815042023 @default.
• W2031381504 crossrefType "journal-article" @default.
• W2031381504 hasAuthorship W2031381504A5010968465 @default.
• W2031381504 hasAuthorship W2031381504A5049336540 @default.
• W2031381504 hasAuthorship W2031381504A5067313227 @default.
• W2031381504 hasBestOaLocation W20313815044 @default.
• W2031381504 hasConcept C111472728 @default.
• W2031381504 hasConcept C115903868 @default.
• W2031381504 hasConcept C118524514 @default.
• W2031381504 hasConcept C119599485 @default.
• W2031381504 hasConcept C120314980 @default.
• W2031381504 hasConcept C124304363 @default.
• W2031381504 hasConcept C127413603 @default.
• W2031381504 hasConcept C134146338 @default.
• W2031381504 hasConcept C134306372 @default.
• W2031381504 hasConcept C134652429 @default.
• W2031381504 hasConcept C137059387 @default.
• W2031381504 hasConcept C138885662 @default.
• W2031381504 hasConcept C151319957 @default.
• W2031381504 hasConcept C151730666 @default.
• W2031381504 hasConcept C169590947 @default.
• W2031381504 hasConcept C199360897 @default.
• W2031381504 hasConcept C26713055 @default.
• W2031381504 hasConcept C2779019669 @default.
• W2031381504 hasConcept C2779343474 @default.
• W2031381504 hasConcept C31352089 @default.
• W2031381504 hasConcept C33923547 @default.
• W2031381504 hasConcept C36503486 @default.
• W2031381504 hasConcept C41008148 @default.
• W2031381504 hasConcept C42196554 @default.
• W2031381504 hasConcept C76155785 @default.
• W2031381504 hasConcept C7923308 @default.
• W2031381504 hasConcept C86803240 @default.
• W2031381504 hasConceptScore W2031381504C111472728 @default.
• W2031381504 hasConceptScore W2031381504C115903868 @default.
• W2031381504 hasConceptScore W2031381504C118524514 @default.
• W2031381504 hasConceptScore W2031381504C119599485 @default.
• W2031381504 hasConceptScore W2031381504C120314980 @default.
• W2031381504 hasConceptScore W2031381504C124304363 @default.
• W2031381504 hasConceptScore W2031381504C127413603 @default.
• W2031381504 hasConceptScore W2031381504C134146338 @default.
• W2031381504 hasConceptScore W2031381504C134306372 @default.
• W2031381504 hasConceptScore W2031381504C134652429 @default.
• W2031381504 hasConceptScore W2031381504C137059387 @default.
• W2031381504 hasConceptScore W2031381504C138885662 @default.
• W2031381504 hasConceptScore W2031381504C151319957 @default.
• W2031381504 hasConceptScore W2031381504C151730666 @default.
• W2031381504 hasConceptScore W2031381504C169590947 @default.
• W2031381504 hasConceptScore W2031381504C199360897 @default.
• W2031381504 hasConceptScore W2031381504C26713055 @default.
• W2031381504 hasConceptScore W2031381504C2779019669 @default.
• W2031381504 hasConceptScore W2031381504C2779343474 @default.
• W2031381504 hasConceptScore W2031381504C31352089 @default.
• W2031381504 hasConceptScore W2031381504C33923547 @default.
• W2031381504 hasConceptScore W2031381504C36503486 @default.
• W2031381504 hasConceptScore W2031381504C41008148 @default.
• W2031381504 hasConceptScore W2031381504C42196554 @default.
• W2031381504 hasConceptScore W2031381504C76155785 @default.
• W2031381504 hasConceptScore W2031381504C7923308 @default.
• W2031381504 hasConceptScore W2031381504C86803240 @default.
• W2031381504 hasIssue "03" @default.
• W2031381504 hasLocation W20313815041 @default.
• W2031381504 hasLocation W20313815042 @default.
• W2031381504 hasLocation W20313815043 @default.
• W2031381504 hasLocation W20313815044 @default.
• W2031381504 hasLocation W20313815045 @default.
• W2031381504 hasLocation W20313815046 @default.
• W2031381504 hasOpenAccess W2031381504 @default.
• W2031381504 hasPrimaryLocation W20313815041 @default.
• W2031381504 hasRelatedWork W1497385637 @default.
• W2031381504 hasRelatedWork W1531642511 @default.

• next