Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913442164> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2913442164 endingPage "25" @default.
- W2913442164 startingPage "1" @default.
- W2913442164 abstract "During the formal functional verification of Register-Transfer Level designs, a false failure is often observed. Most of the time, this failure is caused by an underconstrained model. The analysis of the root cause for the verification error and the creation of missing assumptions are a significant time burden. In this article, we present a methodology to automatically mine these missing assumptions from counter-examples. First, multiple counter-examples are generated for the same property. Then, relevant behaviors are mined from the counter-examples. Finally, corresponding assumptions are filtered and a small amount is returned to the user for review." @default.
- W2913442164 created "2019-02-21" @default.
- W2913442164 creator A5063371658 @default.
- W2913442164 creator A5067330751 @default.
- W2913442164 creator A5072588019 @default.
- W2913442164 date "2019-01-25" @default.
- W2913442164 modified "2023-10-18" @default.
- W2913442164 title "Mining Missing Assumptions from Counter-Examples" @default.
- W2913442164 cites W1499127572 @default.
- W2913442164 cites W1528837436 @default.
- W2913442164 cites W1981151256 @default.
- W2913442164 cites W2023808162 @default.
- W2913442164 cites W2089141542 @default.
- W2913442164 cites W2109525524 @default.
- W2913442164 cites W2149238005 @default.
- W2913442164 cites W4249914973 @default.
- W2913442164 cites W4289258392 @default.
- W2913442164 doi "https://doi.org/10.1145/3288759" @default.
- W2913442164 hasPublicationYear "2019" @default.
- W2913442164 type Work @default.
- W2913442164 sameAs 2913442164 @default.
- W2913442164 citedByCount "0" @default.
- W2913442164 crossrefType "journal-article" @default.
- W2913442164 hasAuthorship W2913442164A5063371658 @default.
- W2913442164 hasAuthorship W2913442164A5067330751 @default.
- W2913442164 hasAuthorship W2913442164A5072588019 @default.
- W2913442164 hasConcept C110251889 @default.
- W2913442164 hasConcept C111472728 @default.
- W2913442164 hasConcept C11413529 @default.
- W2913442164 hasConcept C118615104 @default.
- W2913442164 hasConcept C119857082 @default.
- W2913442164 hasConcept C124101348 @default.
- W2913442164 hasConcept C127413603 @default.
- W2913442164 hasConcept C138885662 @default.
- W2913442164 hasConcept C162838799 @default.
- W2913442164 hasConcept C171078966 @default.
- W2913442164 hasConcept C189950617 @default.
- W2913442164 hasConcept C200601418 @default.
- W2913442164 hasConcept C33923547 @default.
- W2913442164 hasConcept C41008148 @default.
- W2913442164 hasConcept C41895202 @default.
- W2913442164 hasConcept C84945661 @default.
- W2913442164 hasConcept C9357733 @default.
- W2913442164 hasConceptScore W2913442164C110251889 @default.
- W2913442164 hasConceptScore W2913442164C111472728 @default.
- W2913442164 hasConceptScore W2913442164C11413529 @default.
- W2913442164 hasConceptScore W2913442164C118615104 @default.
- W2913442164 hasConceptScore W2913442164C119857082 @default.
- W2913442164 hasConceptScore W2913442164C124101348 @default.
- W2913442164 hasConceptScore W2913442164C127413603 @default.
- W2913442164 hasConceptScore W2913442164C138885662 @default.
- W2913442164 hasConceptScore W2913442164C162838799 @default.
- W2913442164 hasConceptScore W2913442164C171078966 @default.
- W2913442164 hasConceptScore W2913442164C189950617 @default.
- W2913442164 hasConceptScore W2913442164C200601418 @default.
- W2913442164 hasConceptScore W2913442164C33923547 @default.
- W2913442164 hasConceptScore W2913442164C41008148 @default.
- W2913442164 hasConceptScore W2913442164C41895202 @default.
- W2913442164 hasConceptScore W2913442164C84945661 @default.
- W2913442164 hasConceptScore W2913442164C9357733 @default.
- W2913442164 hasIssue "1" @default.
- W2913442164 hasLocation W29134421641 @default.
- W2913442164 hasLocation W29134421642 @default.
- W2913442164 hasLocation W29134421643 @default.
- W2913442164 hasOpenAccess W2913442164 @default.
- W2913442164 hasPrimaryLocation W29134421641 @default.
- W2913442164 hasRelatedWork W1552191998 @default.
- W2913442164 hasRelatedWork W2030594396 @default.
- W2913442164 hasRelatedWork W2056825861 @default.
- W2913442164 hasRelatedWork W2765989158 @default.
- W2913442164 hasRelatedWork W2952737788 @default.
- W2913442164 hasRelatedWork W2953113086 @default.
- W2913442164 hasRelatedWork W3045668461 @default.
- W2913442164 hasRelatedWork W4226455345 @default.
- W2913442164 hasRelatedWork W4255366506 @default.
- W2913442164 hasRelatedWork W2885334669 @default.
- W2913442164 hasVolume "18" @default.
- W2913442164 isParatext "false" @default.
- W2913442164 isRetracted "false" @default.
- W2913442164 magId "2913442164" @default.
- W2913442164 workType "article" @default.