Matches in SemOpenAlex for { <https://semopenalex.org/work/W2507445009> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2507445009 abstract "This paper proposes a framework to automatically generate functional coverage model for the Design under Verification (DUV). The coverage goals are identified to cover different combinations of the design inputs, outputs, Finite State Machines (FSMs) valid states/transitions and internal signals that control the guard expressions of the design control flow. Additionally the cross coverage of highly correlated design variables is added to the final coverage model and generated using data mining techniques. The proposed framework illustrates how formal methods can be used to automate the identification of unreachable coverage-points and then automatically generate the exclusion of those coverage items for final accurate coverage results calculations. Formal verification is also utilized to generate test scenarios (counter examples) for reachable coverage goals that have not been covered in initial random simulation runs. Our experimental results demonstrate the effectiveness of the proposed approach in closing the coverage loop for a set of today's RTL designs." @default.
- W2507445009 created "2016-09-16" @default.
- W2507445009 creator A5001510113 @default.
- W2507445009 creator A5049534161 @default.
- W2507445009 date "2016-05-01" @default.
- W2507445009 modified "2023-09-23" @default.
- W2507445009 title "Automatic generation of functional coverage models" @default.
- W2507445009 cites W137141504 @default.
- W2507445009 cites W1972347219 @default.
- W2507445009 cites W2006955715 @default.
- W2507445009 cites W2041649123 @default.
- W2507445009 cites W2054971796 @default.
- W2507445009 cites W2094624312 @default.
- W2507445009 cites W2102853656 @default.
- W2507445009 cites W2118970405 @default.
- W2507445009 cites W2121206032 @default.
- W2507445009 cites W2139294617 @default.
- W2507445009 cites W2151358358 @default.
- W2507445009 cites W2168238416 @default.
- W2507445009 cites W3140799942 @default.
- W2507445009 cites W2793469892 @default.
- W2507445009 doi "https://doi.org/10.1109/iscas.2016.7527350" @default.
- W2507445009 hasPublicationYear "2016" @default.
- W2507445009 type Work @default.
- W2507445009 sameAs 2507445009 @default.
- W2507445009 citedByCount "2" @default.
- W2507445009 countsByYear W25074450092017 @default.
- W2507445009 countsByYear W25074450092019 @default.
- W2507445009 crossrefType "proceedings-article" @default.
- W2507445009 hasAuthorship W2507445009A5001510113 @default.
- W2507445009 hasAuthorship W2507445009A5049534161 @default.
- W2507445009 hasConcept C111498074 @default.
- W2507445009 hasConcept C11413529 @default.
- W2507445009 hasConcept C116834253 @default.
- W2507445009 hasConcept C124101348 @default.
- W2507445009 hasConcept C141141315 @default.
- W2507445009 hasConcept C160191386 @default.
- W2507445009 hasConcept C167822520 @default.
- W2507445009 hasConcept C177264268 @default.
- W2507445009 hasConcept C17744445 @default.
- W2507445009 hasConcept C199360897 @default.
- W2507445009 hasConcept C199539241 @default.
- W2507445009 hasConcept C2777904410 @default.
- W2507445009 hasConcept C2778775528 @default.
- W2507445009 hasConcept C41008148 @default.
- W2507445009 hasConcept C53942775 @default.
- W2507445009 hasConcept C59822182 @default.
- W2507445009 hasConcept C62460635 @default.
- W2507445009 hasConcept C86803240 @default.
- W2507445009 hasConceptScore W2507445009C111498074 @default.
- W2507445009 hasConceptScore W2507445009C11413529 @default.
- W2507445009 hasConceptScore W2507445009C116834253 @default.
- W2507445009 hasConceptScore W2507445009C124101348 @default.
- W2507445009 hasConceptScore W2507445009C141141315 @default.
- W2507445009 hasConceptScore W2507445009C160191386 @default.
- W2507445009 hasConceptScore W2507445009C167822520 @default.
- W2507445009 hasConceptScore W2507445009C177264268 @default.
- W2507445009 hasConceptScore W2507445009C17744445 @default.
- W2507445009 hasConceptScore W2507445009C199360897 @default.
- W2507445009 hasConceptScore W2507445009C199539241 @default.
- W2507445009 hasConceptScore W2507445009C2777904410 @default.
- W2507445009 hasConceptScore W2507445009C2778775528 @default.
- W2507445009 hasConceptScore W2507445009C41008148 @default.
- W2507445009 hasConceptScore W2507445009C53942775 @default.
- W2507445009 hasConceptScore W2507445009C59822182 @default.
- W2507445009 hasConceptScore W2507445009C62460635 @default.
- W2507445009 hasConceptScore W2507445009C86803240 @default.
- W2507445009 hasLocation W25074450091 @default.
- W2507445009 hasOpenAccess W2507445009 @default.
- W2507445009 hasPrimaryLocation W25074450091 @default.
- W2507445009 hasRelatedWork W157110441 @default.
- W2507445009 hasRelatedWork W1595529556 @default.
- W2507445009 hasRelatedWork W175408375 @default.
- W2507445009 hasRelatedWork W2012997183 @default.
- W2507445009 hasRelatedWork W2097488752 @default.
- W2507445009 hasRelatedWork W2131157060 @default.
- W2507445009 hasRelatedWork W2476310058 @default.
- W2507445009 hasRelatedWork W2492847128 @default.
- W2507445009 hasRelatedWork W2527820027 @default.
- W2507445009 hasRelatedWork W2914669202 @default.
- W2507445009 hasRelatedWork W2950193229 @default.
- W2507445009 hasRelatedWork W2979459361 @default.
- W2507445009 hasRelatedWork W2997434955 @default.
- W2507445009 hasRelatedWork W3021006199 @default.
- W2507445009 hasRelatedWork W3084318964 @default.
- W2507445009 hasRelatedWork W3176884782 @default.
- W2507445009 hasRelatedWork W74492890 @default.
- W2507445009 hasRelatedWork W2267636957 @default.
- W2507445009 hasRelatedWork W2976113092 @default.
- W2507445009 hasRelatedWork W999457187 @default.
- W2507445009 isParatext "false" @default.
- W2507445009 isRetracted "false" @default.
- W2507445009 magId "2507445009" @default.
- W2507445009 workType "article" @default.