Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000072857> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3000072857 abstract "Model checking of large designs is a challenging task because of different scalability issues. In this paper, we aim to utilize guided state space traversal to address this issue. However, providing guidance for state space traversal of complex designs is also an equally challenging problem. We adopt a simulation-based strategy combined with Bayesian modelling approach for finding effective guidance hints for state space traversal. A heuristic-based structural dependency of the design yields ineffective guidance hints which need further of filtering. To prune out the ineffective guidance hints, we first generate module-level sub-properties from static analysis of the design. These sub-properties and structural dependency-based guidance hints are analyzed in simulation traces generated from the constrained-random test benches. These conditional occurrence of sub-properties and guidance hints are inputs to a Bayesian model which can then provide us the guidance hints with the highest profitability. With the proposed methodology, we succeed in pruning out the set of unprofitable guidance hints and obtain effective search directions which are then used to assist the model checking procedure. Experiments on two complex designs for different properties show the effectiveness of the proposed methodology in reducing CPU time during model checking." @default.
- W3000072857 created "2020-01-23" @default.
- W3000072857 creator A5019709717 @default.
- W3000072857 creator A5039301488 @default.
- W3000072857 creator A5053362834 @default.
- W3000072857 creator A5055171657 @default.
- W3000072857 creator A5073587430 @default.
- W3000072857 creator A5082693331 @default.
- W3000072857 date "2019-12-01" @default.
- W3000072857 modified "2023-09-24" @default.
- W3000072857 title "Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification" @default.
- W3000072857 cites W1551256212 @default.
- W3000072857 cites W1970510532 @default.
- W3000072857 cites W1975112016 @default.
- W3000072857 cites W2096431169 @default.
- W3000072857 cites W2736336393 @default.
- W3000072857 cites W2967415589 @default.
- W3000072857 cites W4246422893 @default.
- W3000072857 doi "https://doi.org/10.1109/ats47505.2019.00023" @default.
- W3000072857 hasPublicationYear "2019" @default.
- W3000072857 type Work @default.
- W3000072857 sameAs 3000072857 @default.
- W3000072857 citedByCount "2" @default.
- W3000072857 countsByYear W30000728572021 @default.
- W3000072857 countsByYear W30000728572022 @default.
- W3000072857 crossrefType "proceedings-article" @default.
- W3000072857 hasAuthorship W3000072857A5019709717 @default.
- W3000072857 hasAuthorship W3000072857A5039301488 @default.
- W3000072857 hasAuthorship W3000072857A5053362834 @default.
- W3000072857 hasAuthorship W3000072857A5055171657 @default.
- W3000072857 hasAuthorship W3000072857A5073587430 @default.
- W3000072857 hasAuthorship W3000072857A5082693331 @default.
- W3000072857 hasConcept C105795698 @default.
- W3000072857 hasConcept C111498074 @default.
- W3000072857 hasConcept C111919701 @default.
- W3000072857 hasConcept C199360897 @default.
- W3000072857 hasConcept C2778572836 @default.
- W3000072857 hasConcept C33923547 @default.
- W3000072857 hasConcept C41008148 @default.
- W3000072857 hasConcept C48103436 @default.
- W3000072857 hasConcept C72434380 @default.
- W3000072857 hasConcept C75606506 @default.
- W3000072857 hasConcept C80444323 @default.
- W3000072857 hasConceptScore W3000072857C105795698 @default.
- W3000072857 hasConceptScore W3000072857C111498074 @default.
- W3000072857 hasConceptScore W3000072857C111919701 @default.
- W3000072857 hasConceptScore W3000072857C199360897 @default.
- W3000072857 hasConceptScore W3000072857C2778572836 @default.
- W3000072857 hasConceptScore W3000072857C33923547 @default.
- W3000072857 hasConceptScore W3000072857C41008148 @default.
- W3000072857 hasConceptScore W3000072857C48103436 @default.
- W3000072857 hasConceptScore W3000072857C72434380 @default.
- W3000072857 hasConceptScore W3000072857C75606506 @default.
- W3000072857 hasConceptScore W3000072857C80444323 @default.
- W3000072857 hasLocation W30000728571 @default.
- W3000072857 hasOpenAccess W3000072857 @default.
- W3000072857 hasPrimaryLocation W30000728571 @default.
- W3000072857 hasRelatedWork W1485135523 @default.
- W3000072857 hasRelatedWork W1524361563 @default.
- W3000072857 hasRelatedWork W1614816533 @default.
- W3000072857 hasRelatedWork W1965722552 @default.
- W3000072857 hasRelatedWork W2061112603 @default.
- W3000072857 hasRelatedWork W2084453779 @default.
- W3000072857 hasRelatedWork W2294981642 @default.
- W3000072857 hasRelatedWork W2370841479 @default.
- W3000072857 hasRelatedWork W2990393949 @default.
- W3000072857 hasRelatedWork W3091728393 @default.
- W3000072857 isParatext "false" @default.
- W3000072857 isRetracted "false" @default.
- W3000072857 magId "3000072857" @default.
- W3000072857 workType "article" @default.