Matches in SemOpenAlex for { <https://semopenalex.org/work/W4235422460> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4235422460 abstract "We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the need to manually specify design-specific properties. IODINE presents a way to automatically extract properties such as state machine protocols, request-acknowledge pairs, and mutual exclusion between signals from design simulations. We show that dynamic invariant detection for hardware designs can infer relevant and accurate properties." @default.
- W4235422460 created "2022-05-12" @default.
- W4235422460 creator A5040104214 @default.
- W4235422460 creator A5061280856 @default.
- W4235422460 creator A5080819759 @default.
- W4235422460 creator A5086483307 @default.
- W4235422460 date "2005-01-01" @default.
- W4235422460 modified "2023-09-25" @default.
- W4235422460 title "IODINE: a tool to automatically infer dynamic invariants for hardware designs" @default.
- W4235422460 cites W1556247398 @default.
- W4235422460 cites W1570229058 @default.
- W4235422460 cites W1996341418 @default.
- W4235422460 cites W2011958337 @default.
- W4235422460 cites W3106729728 @default.
- W4235422460 cites W4255079701 @default.
- W4235422460 doi "https://doi.org/10.1109/dac.2005.193920" @default.
- W4235422460 hasPublicationYear "2005" @default.
- W4235422460 type Work @default.
- W4235422460 citedByCount "5" @default.
- W4235422460 countsByYear W42354224602012 @default.
- W4235422460 countsByYear W42354224602017 @default.
- W4235422460 countsByYear W42354224602018 @default.
- W4235422460 countsByYear W42354224602022 @default.
- W4235422460 crossrefType "proceedings-article" @default.
- W4235422460 hasAuthorship W4235422460A5040104214 @default.
- W4235422460 hasAuthorship W4235422460A5061280856 @default.
- W4235422460 hasAuthorship W4235422460A5080819759 @default.
- W4235422460 hasAuthorship W4235422460A5086483307 @default.
- W4235422460 hasBestOaLocation W42354224602 @default.
- W4235422460 hasConcept C111498074 @default.
- W4235422460 hasConcept C113775141 @default.
- W4235422460 hasConcept C118524514 @default.
- W4235422460 hasConcept C121332964 @default.
- W4235422460 hasConcept C149635348 @default.
- W4235422460 hasConcept C190470478 @default.
- W4235422460 hasConcept C2780513914 @default.
- W4235422460 hasConcept C37914503 @default.
- W4235422460 hasConcept C41008148 @default.
- W4235422460 hasConcept C56348326 @default.
- W4235422460 hasConcept C80444323 @default.
- W4235422460 hasConcept C9390403 @default.
- W4235422460 hasConceptScore W4235422460C111498074 @default.
- W4235422460 hasConceptScore W4235422460C113775141 @default.
- W4235422460 hasConceptScore W4235422460C118524514 @default.
- W4235422460 hasConceptScore W4235422460C121332964 @default.
- W4235422460 hasConceptScore W4235422460C149635348 @default.
- W4235422460 hasConceptScore W4235422460C190470478 @default.
- W4235422460 hasConceptScore W4235422460C2780513914 @default.
- W4235422460 hasConceptScore W4235422460C37914503 @default.
- W4235422460 hasConceptScore W4235422460C41008148 @default.
- W4235422460 hasConceptScore W4235422460C56348326 @default.
- W4235422460 hasConceptScore W4235422460C80444323 @default.
- W4235422460 hasConceptScore W4235422460C9390403 @default.
- W4235422460 hasLocation W42354224601 @default.
- W4235422460 hasLocation W42354224602 @default.
- W4235422460 hasOpenAccess W4235422460 @default.
- W4235422460 hasPrimaryLocation W42354224601 @default.
- W4235422460 hasRelatedWork W143018197 @default.
- W4235422460 hasRelatedWork W1996898918 @default.
- W4235422460 hasRelatedWork W2027830835 @default.
- W4235422460 hasRelatedWork W2154550022 @default.
- W4235422460 hasRelatedWork W2357461155 @default.
- W4235422460 hasRelatedWork W2388140273 @default.
- W4235422460 hasRelatedWork W2792431461 @default.
- W4235422460 hasRelatedWork W295290875 @default.
- W4235422460 hasRelatedWork W3173213049 @default.
- W4235422460 hasRelatedWork W4254390804 @default.
- W4235422460 isParatext "false" @default.
- W4235422460 isRetracted "false" @default.
- W4235422460 workType "article" @default.