Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104164077> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3104164077 abstract "The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the recurrence operators of SystemVerilog Assertions (SVA). This article introduces the formal semantics of recurrence over dense time and provides a methodology for the runtime verification of such properties using interval arithmetic. Our property language extends SVA with dense real-time intervals and predicates containing real-valued signals. We provide a tool kit which interfaces with off-the-shelf EDA tools through standard VPI." @default.
- W3104164077 created "2020-11-23" @default.
- W3104164077 creator A5033329960 @default.
- W3104164077 creator A5037758878 @default.
- W3104164077 creator A5080012092 @default.
- W3104164077 date "2020-11-17" @default.
- W3104164077 modified "2023-09-27" @default.
- W3104164077 title "Recurrence in Dense-time AMS Assertions" @default.
- W3104164077 cites W1483606732 @default.
- W3104164077 cites W1547304883 @default.
- W3104164077 cites W1975120975 @default.
- W3104164077 cites W1991079660 @default.
- W3104164077 cites W2016719768 @default.
- W3104164077 cites W2030263557 @default.
- W3104164077 cites W2049696538 @default.
- W3104164077 cites W2051874670 @default.
- W3104164077 cites W2139891885 @default.
- W3104164077 cites W2159958244 @default.
- W3104164077 cites W2161425891 @default.
- W3104164077 cites W2343845377 @default.
- W3104164077 cites W2469998798 @default.
- W3104164077 cites W2795807184 @default.
- W3104164077 cites W2895557151 @default.
- W3104164077 cites W2921224415 @default.
- W3104164077 cites W3106225727 @default.
- W3104164077 cites W6669264 @default.
- W3104164077 hasPublicationYear "2020" @default.
- W3104164077 type Work @default.
- W3104164077 sameAs 3104164077 @default.
- W3104164077 citedByCount "0" @default.
- W3104164077 crossrefType "posted-content" @default.
- W3104164077 hasAuthorship W3104164077A5033329960 @default.
- W3104164077 hasAuthorship W3104164077A5037758878 @default.
- W3104164077 hasAuthorship W3104164077A5080012092 @default.
- W3104164077 hasConcept C111472728 @default.
- W3104164077 hasConcept C11413529 @default.
- W3104164077 hasConcept C114614502 @default.
- W3104164077 hasConcept C138885662 @default.
- W3104164077 hasConcept C184337299 @default.
- W3104164077 hasConcept C189950617 @default.
- W3104164077 hasConcept C199360897 @default.
- W3104164077 hasConcept C2778067643 @default.
- W3104164077 hasConcept C2779843651 @default.
- W3104164077 hasConcept C33923547 @default.
- W3104164077 hasConcept C41008148 @default.
- W3104164077 hasConcept C80444323 @default.
- W3104164077 hasConceptScore W3104164077C111472728 @default.
- W3104164077 hasConceptScore W3104164077C11413529 @default.
- W3104164077 hasConceptScore W3104164077C114614502 @default.
- W3104164077 hasConceptScore W3104164077C138885662 @default.
- W3104164077 hasConceptScore W3104164077C184337299 @default.
- W3104164077 hasConceptScore W3104164077C189950617 @default.
- W3104164077 hasConceptScore W3104164077C199360897 @default.
- W3104164077 hasConceptScore W3104164077C2778067643 @default.
- W3104164077 hasConceptScore W3104164077C2779843651 @default.
- W3104164077 hasConceptScore W3104164077C33923547 @default.
- W3104164077 hasConceptScore W3104164077C41008148 @default.
- W3104164077 hasConceptScore W3104164077C80444323 @default.
- W3104164077 hasLocation W31041640771 @default.
- W3104164077 hasOpenAccess W3104164077 @default.
- W3104164077 hasPrimaryLocation W31041640771 @default.
- W3104164077 hasRelatedWork W1500337659 @default.
- W3104164077 hasRelatedWork W1533238174 @default.
- W3104164077 hasRelatedWork W1596616520 @default.
- W3104164077 hasRelatedWork W1890875952 @default.
- W3104164077 hasRelatedWork W1952054528 @default.
- W3104164077 hasRelatedWork W2011757283 @default.
- W3104164077 hasRelatedWork W2014213801 @default.
- W3104164077 hasRelatedWork W2038272221 @default.
- W3104164077 hasRelatedWork W2058840132 @default.
- W3104164077 hasRelatedWork W2059488168 @default.
- W3104164077 hasRelatedWork W2074622023 @default.
- W3104164077 hasRelatedWork W2103910858 @default.
- W3104164077 hasRelatedWork W2113088395 @default.
- W3104164077 hasRelatedWork W2121509482 @default.
- W3104164077 hasRelatedWork W2139473437 @default.
- W3104164077 hasRelatedWork W2385077645 @default.
- W3104164077 hasRelatedWork W2892050133 @default.
- W3104164077 hasRelatedWork W2900349237 @default.
- W3104164077 hasRelatedWork W3137814233 @default.
- W3104164077 hasRelatedWork W3195945533 @default.
- W3104164077 isParatext "false" @default.
- W3104164077 isRetracted "false" @default.
- W3104164077 magId "3104164077" @default.
- W3104164077 workType "article" @default.