Matches in SemOpenAlex for { <https://semopenalex.org/work/W2164323493> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2164323493 endingPage "188" @default.
- W2164323493 startingPage "169" @default.
- W2164323493 abstract "Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to implement LIPs on long interconnects stems from the fact that with increasing clock frequencies, the signal delay on some interconnects exceeds the clock period. Correctness of a system composed of synchronous blocks communicating via LIPs is established by showing latency equivalence between a completely synchronous composition of the blocks, and the LIP based composition. A design flow based on a synchronous composition specification, and stepwise refinement to LIP composition can be easily conceived, and a proof obligation to show latency equivalence between the synchronous specification and the refinement needs to be discharged. In this work, we propose a functional programming based framework for modeling and simulating LIP, and implement the semantics of various refinement steps in the programming model, so we can validate the LIP model against the original system within this functional programming framework. Such validation becomes easier due to the inherent denotational model of functional languages. We specifically use Standard ML to model the original system implementation as well as its latency insensitive version and compare the two by creating a model that contains both, giving them the same inputs and checking their outputs to be latency equivalent." @default.
- W2164323493 created "2016-06-24" @default.
- W2164323493 creator A5010968465 @default.
- W2164323493 creator A5049070037 @default.
- W2164323493 creator A5052021148 @default.
- W2164323493 creator A5073815606 @default.
- W2164323493 creator A5084835632 @default.
- W2164323493 date "2006-01-01" @default.
- W2164323493 modified "2023-09-25" @default.
- W2164323493 title "A Functional Programming Framework for Latency Insensitive Protocol Validation" @default.
- W2164323493 cites W1542768242 @default.
- W2164323493 cites W1546727036 @default.
- W2164323493 cites W1600560111 @default.
- W2164323493 cites W1829244603 @default.
- W2164323493 cites W1999823427 @default.
- W2164323493 cites W2100720925 @default.
- W2164323493 cites W2102081731 @default.
- W2164323493 cites W2126626036 @default.
- W2164323493 cites W2127044011 @default.
- W2164323493 cites W2144148413 @default.
- W2164323493 cites W2160566592 @default.
- W2164323493 cites W2181601762 @default.
- W2164323493 cites W2913459036 @default.
- W2164323493 cites W3004436853 @default.
- W2164323493 doi "https://doi.org/10.1016/j.entcs.2005.05.041" @default.
- W2164323493 hasPublicationYear "2006" @default.
- W2164323493 type Work @default.
- W2164323493 sameAs 2164323493 @default.
- W2164323493 citedByCount "4" @default.
- W2164323493 crossrefType "journal-article" @default.
- W2164323493 hasAuthorship W2164323493A5010968465 @default.
- W2164323493 hasAuthorship W2164323493A5049070037 @default.
- W2164323493 hasAuthorship W2164323493A5052021148 @default.
- W2164323493 hasAuthorship W2164323493A5073815606 @default.
- W2164323493 hasAuthorship W2164323493A5084835632 @default.
- W2164323493 hasBestOaLocation W21643234931 @default.
- W2164323493 hasConcept C120314980 @default.
- W2164323493 hasConcept C121375916 @default.
- W2164323493 hasConcept C149635348 @default.
- W2164323493 hasConcept C154945302 @default.
- W2164323493 hasConcept C199360897 @default.
- W2164323493 hasConcept C34165917 @default.
- W2164323493 hasConcept C41008148 @default.
- W2164323493 hasConcept C42383842 @default.
- W2164323493 hasConcept C55439883 @default.
- W2164323493 hasConcept C76155785 @default.
- W2164323493 hasConcept C80444323 @default.
- W2164323493 hasConcept C82876162 @default.
- W2164323493 hasConceptScore W2164323493C120314980 @default.
- W2164323493 hasConceptScore W2164323493C121375916 @default.
- W2164323493 hasConceptScore W2164323493C149635348 @default.
- W2164323493 hasConceptScore W2164323493C154945302 @default.
- W2164323493 hasConceptScore W2164323493C199360897 @default.
- W2164323493 hasConceptScore W2164323493C34165917 @default.
- W2164323493 hasConceptScore W2164323493C41008148 @default.
- W2164323493 hasConceptScore W2164323493C42383842 @default.
- W2164323493 hasConceptScore W2164323493C55439883 @default.
- W2164323493 hasConceptScore W2164323493C76155785 @default.
- W2164323493 hasConceptScore W2164323493C80444323 @default.
- W2164323493 hasConceptScore W2164323493C82876162 @default.
- W2164323493 hasIssue "2" @default.
- W2164323493 hasLocation W21643234931 @default.
- W2164323493 hasLocation W21643234932 @default.
- W2164323493 hasOpenAccess W2164323493 @default.
- W2164323493 hasPrimaryLocation W21643234931 @default.
- W2164323493 hasRelatedWork W1515444786 @default.
- W2164323493 hasRelatedWork W1966767581 @default.
- W2164323493 hasRelatedWork W1968147838 @default.
- W2164323493 hasRelatedWork W2023056990 @default.
- W2164323493 hasRelatedWork W2040230157 @default.
- W2164323493 hasRelatedWork W2129335813 @default.
- W2164323493 hasRelatedWork W2952198901 @default.
- W2164323493 hasRelatedWork W4238823939 @default.
- W2164323493 hasRelatedWork W1678966650 @default.
- W2164323493 hasRelatedWork W2694103075 @default.
- W2164323493 hasVolume "146" @default.
- W2164323493 isParatext "false" @default.
- W2164323493 isRetracted "false" @default.
- W2164323493 magId "2164323493" @default.
- W2164323493 workType "article" @default.