Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111852001> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2111852001 endingPage "128" @default.
- W2111852001 startingPage "123" @default.
- W2111852001 abstract "The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need to be resolved automatically before IPs are integrated. Secondly, the presence of multiple clocks makes the protocol conversion even more difficult. Thirdly, it is desirable that the resulting integration is correct-by-construction, i.e., the resulting SoC satisfies given system-level specifications. All of these issues have been studied extensively, although not in a unifying manner. In this paper we propose a framework based on protocol conversion that addresses all these issues. We have extensively studied many SoC design problems and show that the proposed methodology is capable of handling them better than other known approaches. A significant contribution of the proposed approach is that it nicely generalizes many existing techniques for formal SoC design and integrates them into a single approach." @default.
- W2111852001 created "2016-06-24" @default.
- W2111852001 creator A5033790986 @default.
- W2111852001 creator A5056774275 @default.
- W2111852001 creator A5076621370 @default.
- W2111852001 creator A5088166627 @default.
- W2111852001 date "2009-04-20" @default.
- W2111852001 modified "2023-09-28" @default.
- W2111852001 title "Multi-clock SoC design using protocol conversion" @default.
- W2111852001 cites W1506702095 @default.
- W2111852001 cites W1583418408 @default.
- W2111852001 cites W2100720925 @default.
- W2111852001 cites W2102548669 @default.
- W2111852001 cites W2110228421 @default.
- W2111852001 cites W2117120804 @default.
- W2111852001 cites W2147436960 @default.
- W2111852001 cites W2163762091 @default.
- W2111852001 cites W2165434105 @default.
- W2111852001 cites W2166685488 @default.
- W2111852001 cites W2913425508 @default.
- W2111852001 doi "https://doi.org/10.5555/1874620.1874650" @default.
- W2111852001 hasPublicationYear "2009" @default.
- W2111852001 type Work @default.
- W2111852001 sameAs 2111852001 @default.
- W2111852001 citedByCount "3" @default.
- W2111852001 countsByYear W21118520012012 @default.
- W2111852001 countsByYear W21118520012014 @default.
- W2111852001 crossrefType "proceedings-article" @default.
- W2111852001 hasAuthorship W2111852001A5033790986 @default.
- W2111852001 hasAuthorship W2111852001A5056774275 @default.
- W2111852001 hasAuthorship W2111852001A5076621370 @default.
- W2111852001 hasAuthorship W2111852001A5088166627 @default.
- W2111852001 hasConcept C118021083 @default.
- W2111852001 hasConcept C120314980 @default.
- W2111852001 hasConcept C127413603 @default.
- W2111852001 hasConcept C138852830 @default.
- W2111852001 hasConcept C142724271 @default.
- W2111852001 hasConcept C149635348 @default.
- W2111852001 hasConcept C204787440 @default.
- W2111852001 hasConcept C2780385302 @default.
- W2111852001 hasConcept C41008148 @default.
- W2111852001 hasConcept C71924100 @default.
- W2111852001 hasConcept C78519656 @default.
- W2111852001 hasConceptScore W2111852001C118021083 @default.
- W2111852001 hasConceptScore W2111852001C120314980 @default.
- W2111852001 hasConceptScore W2111852001C127413603 @default.
- W2111852001 hasConceptScore W2111852001C138852830 @default.
- W2111852001 hasConceptScore W2111852001C142724271 @default.
- W2111852001 hasConceptScore W2111852001C149635348 @default.
- W2111852001 hasConceptScore W2111852001C204787440 @default.
- W2111852001 hasConceptScore W2111852001C2780385302 @default.
- W2111852001 hasConceptScore W2111852001C41008148 @default.
- W2111852001 hasConceptScore W2111852001C71924100 @default.
- W2111852001 hasConceptScore W2111852001C78519656 @default.
- W2111852001 hasLocation W21118520011 @default.
- W2111852001 hasOpenAccess W2111852001 @default.
- W2111852001 hasPrimaryLocation W21118520011 @default.
- W2111852001 hasRelatedWork W108083362 @default.
- W2111852001 hasRelatedWork W1515306313 @default.
- W2111852001 hasRelatedWork W1613462383 @default.
- W2111852001 hasRelatedWork W1965663472 @default.
- W2111852001 hasRelatedWork W1998320675 @default.
- W2111852001 hasRelatedWork W2065412704 @default.
- W2111852001 hasRelatedWork W2099294188 @default.
- W2111852001 hasRelatedWork W2102036009 @default.
- W2111852001 hasRelatedWork W2104427984 @default.
- W2111852001 hasRelatedWork W2114486605 @default.
- W2111852001 hasRelatedWork W2114657592 @default.
- W2111852001 hasRelatedWork W2119475487 @default.
- W2111852001 hasRelatedWork W2126308254 @default.
- W2111852001 hasRelatedWork W2130073367 @default.
- W2111852001 hasRelatedWork W2205855056 @default.
- W2111852001 hasRelatedWork W2295066707 @default.
- W2111852001 hasRelatedWork W2551530004 @default.
- W2111852001 hasRelatedWork W2923913142 @default.
- W2111852001 hasRelatedWork W1533060659 @default.
- W2111852001 hasRelatedWork W2144646798 @default.
- W2111852001 isParatext "false" @default.
- W2111852001 isRetracted "false" @default.
- W2111852001 magId "2111852001" @default.
- W2111852001 workType "article" @default.