Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053846259> ?p ?o ?g. }
- W2053846259 endingPage "3345" @default.
- W2053846259 startingPage "3329" @default.
- W2053846259 abstract "The design of complex analog interfaces would largely benefit from model-based development and compositional methods to improve the quality of its final result. However, analog circuit behaviors are so tightly intertwined with their environment that: 1) abstractions needed for model-based design are often not accurate, thus making it difficult to achieve reliable system performance estimations, and 2) generic, design-independent interfaces that are needed to develop compositional techniques are very difficult to define. In this paper, we propose a platform-based design methodology that uses analog contracts to develop reliable abstractions and design-independent interfaces. A contract explicitly handles pairs of properties, representing the assumptions on the environment and the promises of a component under these assumptions. Horizontal contracts encode composition rules that constrain how library elements should be “legally” used. Vertical contracts define under which conditions an aggregation of components satisfies the requirements posed at a higher level of abstraction. If both sets of contracts are satisfied, we can produce implementations by composition and refinement that are correct by construction. We demonstrate the effectiveness of this approach on the design of an ultra-wide band receiver used in an Intelligent Tire system, an on-vehicle wireless sensor network for active safety applications." @default.
- W2053846259 created "2016-06-24" @default.
- W2053846259 creator A5008829692 @default.
- W2053846259 creator A5067636168 @default.
- W2053846259 creator A5079995514 @default.
- W2053846259 creator A5082366880 @default.
- W2053846259 date "2012-12-01" @default.
- W2053846259 modified "2023-10-14" @default.
- W2053846259 title "Methodology for the Design of Analog Integrated Interfaces Using Contracts" @default.
- W2053846259 cites W1520988830 @default.
- W2053846259 cites W1535987901 @default.
- W2053846259 cites W1544633123 @default.
- W2053846259 cites W1550100726 @default.
- W2053846259 cites W1562836033 @default.
- W2053846259 cites W1562942484 @default.
- W2053846259 cites W1990770069 @default.
- W2053846259 cites W1993426004 @default.
- W2053846259 cites W1998752433 @default.
- W2053846259 cites W1999357165 @default.
- W2053846259 cites W2007333924 @default.
- W2053846259 cites W2011866436 @default.
- W2053846259 cites W2013990617 @default.
- W2053846259 cites W2014019774 @default.
- W2053846259 cites W2016310205 @default.
- W2053846259 cites W2016614066 @default.
- W2053846259 cites W2025818425 @default.
- W2053846259 cites W2026396481 @default.
- W2053846259 cites W2027501411 @default.
- W2053846259 cites W2033978538 @default.
- W2053846259 cites W2035091557 @default.
- W2053846259 cites W2041178531 @default.
- W2053846259 cites W2047080991 @default.
- W2053846259 cites W2052363833 @default.
- W2053846259 cites W2100594844 @default.
- W2053846259 cites W2104224153 @default.
- W2053846259 cites W2106476087 @default.
- W2053846259 cites W2115304935 @default.
- W2053846259 cites W2119355229 @default.
- W2053846259 cites W2120380968 @default.
- W2053846259 cites W2121112734 @default.
- W2053846259 cites W2122091217 @default.
- W2053846259 cites W2125666370 @default.
- W2053846259 cites W2127902188 @default.
- W2053846259 cites W2130044447 @default.
- W2053846259 cites W2131863382 @default.
- W2053846259 cites W2134554255 @default.
- W2053846259 cites W2139783631 @default.
- W2053846259 cites W2139872812 @default.
- W2053846259 cites W2141776905 @default.
- W2053846259 cites W2151415616 @default.
- W2053846259 cites W2151884010 @default.
- W2053846259 cites W2167523911 @default.
- W2053846259 cites W2168377094 @default.
- W2053846259 cites W2169180789 @default.
- W2053846259 cites W2293287097 @default.
- W2053846259 cites W3152269316 @default.
- W2053846259 cites W4235545934 @default.
- W2053846259 cites W4254930906 @default.
- W2053846259 cites W4300833197 @default.
- W2053846259 cites W595252221 @default.
- W2053846259 doi "https://doi.org/10.1109/jsen.2012.2211098" @default.
- W2053846259 hasPublicationYear "2012" @default.
- W2053846259 type Work @default.
- W2053846259 sameAs 2053846259 @default.
- W2053846259 citedByCount "26" @default.
- W2053846259 countsByYear W20538462592013 @default.
- W2053846259 countsByYear W20538462592014 @default.
- W2053846259 countsByYear W20538462592015 @default.
- W2053846259 countsByYear W20538462592017 @default.
- W2053846259 countsByYear W20538462592018 @default.
- W2053846259 countsByYear W20538462592019 @default.
- W2053846259 countsByYear W20538462592021 @default.
- W2053846259 crossrefType "journal-article" @default.
- W2053846259 hasAuthorship W2053846259A5008829692 @default.
- W2053846259 hasAuthorship W2053846259A5067636168 @default.
- W2053846259 hasAuthorship W2053846259A5079995514 @default.
- W2053846259 hasAuthorship W2053846259A5082366880 @default.
- W2053846259 hasConcept C104317684 @default.
- W2053846259 hasConcept C111472728 @default.
- W2053846259 hasConcept C115903868 @default.
- W2053846259 hasConcept C120314980 @default.
- W2053846259 hasConcept C121332964 @default.
- W2053846259 hasConcept C124304363 @default.
- W2053846259 hasConcept C138885662 @default.
- W2053846259 hasConcept C168167062 @default.
- W2053846259 hasConcept C185592680 @default.
- W2053846259 hasConcept C26713055 @default.
- W2053846259 hasConcept C41008148 @default.
- W2053846259 hasConcept C55493867 @default.
- W2053846259 hasConcept C555944384 @default.
- W2053846259 hasConcept C66746571 @default.
- W2053846259 hasConcept C76155785 @default.
- W2053846259 hasConcept C97355855 @default.
- W2053846259 hasConceptScore W2053846259C104317684 @default.
- W2053846259 hasConceptScore W2053846259C111472728 @default.
- W2053846259 hasConceptScore W2053846259C115903868 @default.
- W2053846259 hasConceptScore W2053846259C120314980 @default.
- W2053846259 hasConceptScore W2053846259C121332964 @default.