Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018517638> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2018517638 endingPage "52" @default.
- W2018517638 startingPage "1" @default.
- W2018517638 abstract "We propose a specification logic called Temporally Attributed Boolean (TAB) Logic for Assertion Based Verification, which allows us to: (i) represent assertions succinctly, (ii) incorporate data-orientation and (iii) associate timing to design intentions. TAB Logic allows us to write specifications functionally linking system variables from different temporal contexts. We present examples to show the motivation for this logic especially in the context of high level modeling of complex real time systems. We formally define TAB Logic, formulate the problem of verification on a simulation trace and present efficient algorithms to check TAB assertions, both offline and online. We present results of application of TAB Logic for Instruction Semantics and Bus Transaction Verification of a bus integrated pipelined processor core implementation. We also employ TAB Logic to validate the Interrupt mode behavior of the processor core implementation. Further, we show the utility of TAB Logic in fault detection. Finally, we demonstrate the applicability of TAB Logic in the domain of simulation based verification of analog circuits like Operational Amplifiers and DC-DC Converters. We finally discuss the limitations of TAB logic and conclude." @default.
- W2018517638 created "2016-06-24" @default.
- W2018517638 creator A5003215232 @default.
- W2018517638 creator A5013205698 @default.
- W2018517638 creator A5024844665 @default.
- W2018517638 creator A5052994118 @default.
- W2018517638 date "2008-09-01" @default.
- W2018517638 modified "2023-09-26" @default.
- W2018517638 title "Simulation-based verification using Temporally Attributed Boolean Logic" @default.
- W2018517638 cites W120333500 @default.
- W2018517638 cites W1506588809 @default.
- W2018517638 cites W1540883472 @default.
- W2018517638 cites W1573354578 @default.
- W2018517638 cites W1740522204 @default.
- W2018517638 cites W1753324106 @default.
- W2018517638 cites W1986184086 @default.
- W2018517638 cites W2026629052 @default.
- W2018517638 cites W2048327004 @default.
- W2018517638 cites W2100556575 @default.
- W2018517638 cites W2103910858 @default.
- W2018517638 cites W2106595800 @default.
- W2018517638 cites W2113012730 @default.
- W2018517638 cites W2119965246 @default.
- W2018517638 cites W2125110532 @default.
- W2018517638 doi "https://doi.org/10.1145/1391962.1391971" @default.
- W2018517638 hasPublicationYear "2008" @default.
- W2018517638 type Work @default.
- W2018517638 sameAs 2018517638 @default.
- W2018517638 citedByCount "0" @default.
- W2018517638 crossrefType "journal-article" @default.
- W2018517638 hasAuthorship W2018517638A5003215232 @default.
- W2018517638 hasAuthorship W2018517638A5013205698 @default.
- W2018517638 hasAuthorship W2018517638A5024844665 @default.
- W2018517638 hasAuthorship W2018517638A5052994118 @default.
- W2018517638 hasConcept C111498074 @default.
- W2018517638 hasConcept C11413529 @default.
- W2018517638 hasConcept C118524514 @default.
- W2018517638 hasConcept C131017901 @default.
- W2018517638 hasConcept C149091818 @default.
- W2018517638 hasConcept C157922185 @default.
- W2018517638 hasConcept C186846655 @default.
- W2018517638 hasConcept C187250869 @default.
- W2018517638 hasConcept C199360897 @default.
- W2018517638 hasConcept C25016198 @default.
- W2018517638 hasConcept C2777904410 @default.
- W2018517638 hasConcept C28449271 @default.
- W2018517638 hasConcept C41008148 @default.
- W2018517638 hasConcept C62460635 @default.
- W2018517638 hasConcept C64859876 @default.
- W2018517638 hasConcept C80444323 @default.
- W2018517638 hasConceptScore W2018517638C111498074 @default.
- W2018517638 hasConceptScore W2018517638C11413529 @default.
- W2018517638 hasConceptScore W2018517638C118524514 @default.
- W2018517638 hasConceptScore W2018517638C131017901 @default.
- W2018517638 hasConceptScore W2018517638C149091818 @default.
- W2018517638 hasConceptScore W2018517638C157922185 @default.
- W2018517638 hasConceptScore W2018517638C186846655 @default.
- W2018517638 hasConceptScore W2018517638C187250869 @default.
- W2018517638 hasConceptScore W2018517638C199360897 @default.
- W2018517638 hasConceptScore W2018517638C25016198 @default.
- W2018517638 hasConceptScore W2018517638C2777904410 @default.
- W2018517638 hasConceptScore W2018517638C28449271 @default.
- W2018517638 hasConceptScore W2018517638C41008148 @default.
- W2018517638 hasConceptScore W2018517638C62460635 @default.
- W2018517638 hasConceptScore W2018517638C64859876 @default.
- W2018517638 hasConceptScore W2018517638C80444323 @default.
- W2018517638 hasIssue "4" @default.
- W2018517638 hasLocation W20185176381 @default.
- W2018517638 hasOpenAccess W2018517638 @default.
- W2018517638 hasPrimaryLocation W20185176381 @default.
- W2018517638 hasRelatedWork W2018517638 @default.
- W2018517638 hasRelatedWork W2084021295 @default.
- W2018517638 hasRelatedWork W2120231722 @default.
- W2018517638 hasRelatedWork W2133284663 @default.
- W2018517638 hasRelatedWork W2168362805 @default.
- W2018517638 hasRelatedWork W2251032073 @default.
- W2018517638 hasRelatedWork W2562888669 @default.
- W2018517638 hasRelatedWork W2786025914 @default.
- W2018517638 hasRelatedWork W3097333598 @default.
- W2018517638 hasRelatedWork W47563837 @default.
- W2018517638 hasVolume "13" @default.
- W2018517638 isParatext "false" @default.
- W2018517638 isRetracted "false" @default.
- W2018517638 magId "2018517638" @default.
- W2018517638 workType "article" @default.