FRINK Linked Data Fragments server

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

• W2801972078 abstract "Asynchronous circuits have key advantages in terms of low energy consumption, robustness, and security. However, the absence of a global clock makes the design prone to deadlock, livelock, synchronization, and resource-sharing errors. Formal verification is thus essential for designing such circuits, but it is not widespread enough, as many hardware designers are not familiar with it and few verification tools can cope with asynchrony on complex designs. This paper suggests how an industrial design flow for asynchronous circuits, based upon the standard HDL SystemVerilog, can be supplemented with formal verification capabilities rooted in concurrency theory and model-checking technology. We demonstrate the practicality of our approach on an industrial asynchronous circuit (4000 lines of SystemVerilog) implementing a memory protection unit." @default.
• W2801972078 created "2018-05-17" @default.
• W2801972078 creator A5017617798 @default.
• W2801972078 creator A5022335982 @default.
• W2801972078 creator A5022400989 @default.
• W2801972078 creator A5068981088 @default.
• W2801972078 creator A5090394941 @default.
• W2801972078 date "2018-05-01" @default.
• W2801972078 modified "2023-10-14" @default.
• W2801972078 title "Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits" @default.
• W2801972078 cites W1506588809 @default.
• W2801972078 cites W1565620212 @default.
• W2801972078 cites W1577220836 @default.
• W2801972078 cites W1577673148 @default.
• W2801972078 cites W1605031929 @default.
• W2801972078 cites W183708066 @default.
• W2801972078 cites W1968049993 @default.
• W2801972078 cites W1993264422 @default.
• W2801972078 cites W2015211370 @default.
• W2801972078 cites W2029005287 @default.
• W2801972078 cites W2033422633 @default.
• W2801972078 cites W2035560780 @default.
• W2801972078 cites W2045981349 @default.
• W2801972078 cites W2068714738 @default.
• W2801972078 cites W2075075390 @default.
• W2801972078 cites W2075272319 @default.
• W2801972078 cites W2096907015 @default.
• W2801972078 cites W2102097307 @default.
• W2801972078 cites W2106316647 @default.
• W2801972078 cites W2111125619 @default.
• W2801972078 cites W2120394713 @default.
• W2801972078 cites W2126848377 @default.
• W2801972078 cites W2128413005 @default.
• W2801972078 cites W2139153122 @default.
• W2801972078 cites W2160249188 @default.
• W2801972078 cites W2162854163 @default.
• W2801972078 cites W2166376443 @default.
• W2801972078 cites W2187918184 @default.
• W2801972078 cites W2257383423 @default.
• W2801972078 cites W2275146865 @default.
• W2801972078 cites W2289386049 @default.
• W2801972078 cites W2528910556 @default.
• W2801972078 cites W2626777862 @default.
• W2801972078 cites W2767403338 @default.
• W2801972078 cites W2810491896 @default.
• W2801972078 doi "https://doi.org/10.1109/async.2018.00021" @default.
• W2801972078 hasPublicationYear "2018" @default.
• W2801972078 type Work @default.
• W2801972078 sameAs 2801972078 @default.
• W2801972078 citedByCount "9" @default.
• W2801972078 countsByYear W28019720782018 @default.
• W2801972078 countsByYear W28019720782019 @default.
• W2801972078 countsByYear W28019720782020 @default.
• W2801972078 countsByYear W28019720782021 @default.
• W2801972078 countsByYear W28019720782022 @default.
• W2801972078 crossrefType "proceedings-article" @default.
• W2801972078 hasAuthorship W2801972078A5017617798 @default.
• W2801972078 hasAuthorship W2801972078A5022335982 @default.
• W2801972078 hasAuthorship W2801972078A5022400989 @default.
• W2801972078 hasAuthorship W2801972078A5068981088 @default.
• W2801972078 hasAuthorship W2801972078A5090394941 @default.
• W2801972078 hasBestOaLocation W28019720782 @default.
• W2801972078 hasConcept C104317684 @default.
• W2801972078 hasConcept C110251889 @default.
• W2801972078 hasConcept C111498074 @default.
• W2801972078 hasConcept C118524514 @default.
• W2801972078 hasConcept C120314980 @default.
• W2801972078 hasConcept C127162648 @default.
• W2801972078 hasConcept C134652429 @default.
• W2801972078 hasConcept C137059387 @default.
• W2801972078 hasConcept C149635348 @default.
• W2801972078 hasConcept C151319957 @default.
• W2801972078 hasConcept C185592680 @default.
• W2801972078 hasConcept C193702766 @default.
• W2801972078 hasConcept C2778562939 @default.
• W2801972078 hasConcept C2779019669 @default.
• W2801972078 hasConcept C31258907 @default.
• W2801972078 hasConcept C37135326 @default.
• W2801972078 hasConcept C41008148 @default.
• W2801972078 hasConcept C42196554 @default.
• W2801972078 hasConcept C55493867 @default.
• W2801972078 hasConcept C63479239 @default.
• W2801972078 hasConcept C66727535 @default.
• W2801972078 hasConcept C76155785 @default.
• W2801972078 hasConcept C7923308 @default.
• W2801972078 hasConcept C80444323 @default.
• W2801972078 hasConcept C87695204 @default.
• W2801972078 hasConcept C96654402 @default.
• W2801972078 hasConceptScore W2801972078C104317684 @default.
• W2801972078 hasConceptScore W2801972078C110251889 @default.
• W2801972078 hasConceptScore W2801972078C111498074 @default.
• W2801972078 hasConceptScore W2801972078C118524514 @default.
• W2801972078 hasConceptScore W2801972078C120314980 @default.
• W2801972078 hasConceptScore W2801972078C127162648 @default.
• W2801972078 hasConceptScore W2801972078C134652429 @default.
• W2801972078 hasConceptScore W2801972078C137059387 @default.
• W2801972078 hasConceptScore W2801972078C149635348 @default.
• W2801972078 hasConceptScore W2801972078C151319957 @default.
• W2801972078 hasConceptScore W2801972078C185592680 @default.
• W2801972078 hasConceptScore W2801972078C193702766 @default.

• next