Matches in SemOpenAlex for { <https://semopenalex.org/work/W1935675921> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1935675921 endingPage "2103" @default.
- W1935675921 startingPage "2093" @default.
- W1935675921 abstract "Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA-based design relies on the application of four interrelated principles: 1) separation of concerns implying a decomposition of a design flow into steps, each step dealing with specific aspects, namely user requirements, functional design, and implementation; 2) component-based design enabling the reasoned construction of complex systems as the composition of components; 3) semantic coherency meaning that descriptions used in successive design steps are semantically related through adequate semantic mappings; this implies, in particular, that the formalisms used at each design step are rooted in well-defined semantics; and 4) correctness by construction meaning that it is possible to guarantee essential properties of the designed system incrementally and compositionally along the design process. The paper discusses to what extent the EDA paradigm can be adapted to general mixed hardware/software (HW/SW) systems design through the application of these principles. It presents an overview of the problems raised by the rigorous system design of mixed HW/SW systems. Then, it presents a unified abstract framework for addressing these problems by identifying main research avenues." @default.
- W1935675921 created "2016-06-24" @default.
- W1935675921 creator A5075454664 @default.
- W1935675921 date "2015-11-01" @default.
- W1935675921 modified "2023-09-23" @default.
- W1935675921 title "System Design Automation: Challenges and Limitations" @default.
- W1935675921 cites W119592666 @default.
- W1935675921 cites W1539123944 @default.
- W1935675921 cites W1578262153 @default.
- W1935675921 cites W1585239564 @default.
- W1935675921 cites W1812814601 @default.
- W1935675921 cites W1991698050 @default.
- W1935675921 cites W1992160941 @default.
- W1935675921 cites W1993432769 @default.
- W1935675921 cites W2012556582 @default.
- W1935675921 cites W2016310205 @default.
- W1935675921 cites W2018519161 @default.
- W1935675921 cites W2043000230 @default.
- W1935675921 cites W2050616463 @default.
- W1935675921 cites W2059720667 @default.
- W1935675921 cites W2064880497 @default.
- W1935675921 cites W2076997912 @default.
- W1935675921 cites W2077099824 @default.
- W1935675921 cites W2098436411 @default.
- W1935675921 cites W2099883398 @default.
- W1935675921 cites W2101431901 @default.
- W1935675921 cites W2114171396 @default.
- W1935675921 cites W2134345746 @default.
- W1935675921 cites W2135670602 @default.
- W1935675921 cites W2145071552 @default.
- W1935675921 cites W2149640197 @default.
- W1935675921 cites W2160032004 @default.
- W1935675921 cites W2164198178 @default.
- W1935675921 cites W2166422915 @default.
- W1935675921 cites W2176490758 @default.
- W1935675921 cites W2238711819 @default.
- W1935675921 cites W4206455946 @default.
- W1935675921 doi "https://doi.org/10.1109/jproc.2015.2484060" @default.
- W1935675921 hasPublicationYear "2015" @default.
- W1935675921 type Work @default.
- W1935675921 sameAs 1935675921 @default.
- W1935675921 citedByCount "18" @default.
- W1935675921 countsByYear W19356759212016 @default.
- W1935675921 countsByYear W19356759212017 @default.
- W1935675921 countsByYear W19356759212018 @default.
- W1935675921 countsByYear W19356759212019 @default.
- W1935675921 countsByYear W19356759212020 @default.
- W1935675921 countsByYear W19356759212021 @default.
- W1935675921 countsByYear W19356759212022 @default.
- W1935675921 crossrefType "journal-article" @default.
- W1935675921 hasAuthorship W1935675921A5075454664 @default.
- W1935675921 hasConcept C115901376 @default.
- W1935675921 hasConcept C115903868 @default.
- W1935675921 hasConcept C127413603 @default.
- W1935675921 hasConcept C149635348 @default.
- W1935675921 hasConcept C171018156 @default.
- W1935675921 hasConcept C199360897 @default.
- W1935675921 hasConcept C201995342 @default.
- W1935675921 hasConcept C2524010 @default.
- W1935675921 hasConcept C33923547 @default.
- W1935675921 hasConcept C37135326 @default.
- W1935675921 hasConcept C41008148 @default.
- W1935675921 hasConcept C55439883 @default.
- W1935675921 hasConcept C64260653 @default.
- W1935675921 hasConcept C78519656 @default.
- W1935675921 hasConceptScore W1935675921C115901376 @default.
- W1935675921 hasConceptScore W1935675921C115903868 @default.
- W1935675921 hasConceptScore W1935675921C127413603 @default.
- W1935675921 hasConceptScore W1935675921C149635348 @default.
- W1935675921 hasConceptScore W1935675921C171018156 @default.
- W1935675921 hasConceptScore W1935675921C199360897 @default.
- W1935675921 hasConceptScore W1935675921C201995342 @default.
- W1935675921 hasConceptScore W1935675921C2524010 @default.
- W1935675921 hasConceptScore W1935675921C33923547 @default.
- W1935675921 hasConceptScore W1935675921C37135326 @default.
- W1935675921 hasConceptScore W1935675921C41008148 @default.
- W1935675921 hasConceptScore W1935675921C55439883 @default.
- W1935675921 hasConceptScore W1935675921C64260653 @default.
- W1935675921 hasConceptScore W1935675921C78519656 @default.
- W1935675921 hasIssue "11" @default.
- W1935675921 hasLocation W19356759211 @default.
- W1935675921 hasOpenAccess W1935675921 @default.
- W1935675921 hasPrimaryLocation W19356759211 @default.
- W1935675921 hasRelatedWork W14217387 @default.
- W1935675921 hasRelatedWork W1498721867 @default.
- W1935675921 hasRelatedWork W2019954703 @default.
- W1935675921 hasRelatedWork W2038083073 @default.
- W1935675921 hasRelatedWork W2108130666 @default.
- W1935675921 hasRelatedWork W2138594744 @default.
- W1935675921 hasRelatedWork W2553225471 @default.
- W1935675921 hasRelatedWork W4318224788 @default.
- W1935675921 hasRelatedWork W4360996352 @default.
- W1935675921 hasRelatedWork W592383290 @default.
- W1935675921 hasVolume "103" @default.
- W1935675921 isParatext "false" @default.
- W1935675921 isRetracted "false" @default.
- W1935675921 magId "1935675921" @default.
- W1935675921 workType "article" @default.