Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095642907> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2095642907 abstract "Exploiting circuit structure is a key issue in the implementation of algorithms for state space decomposition when the target is approximate FSM traversal. Given the gate-level description of a sequential circuit, the information about its structure can be captured by evaluating the affinity between pairs or groups of latches. Two main factors have to be considered in carrying out the structural analysis of a sequential circuit: latch connectivity and latch correlation. We estimate the affinity of two latches by combining these two factors, and we use this measure to translate the state space decomposition problem into a graph partitioning problem. Traversal results obtained on the largest ISCAS'89 benchmarks show the effectiveness of the method. >" @default.
- W2095642907 created "2016-06-24" @default.
- W2095642907 creator A5005432629 @default.
- W2095642907 creator A5019892407 @default.
- W2095642907 creator A5024891882 @default.
- W2095642907 creator A5066653862 @default.
- W2095642907 creator A5077549627 @default.
- W2095642907 date "2002-12-17" @default.
- W2095642907 modified "2023-09-23" @default.
- W2095642907 title "A structural approach to state space decomposition for approximate reachability analysis" @default.
- W2095642907 cites W2080267935 @default.
- W2095642907 cites W2101481392 @default.
- W2095642907 cites W2117656743 @default.
- W2095642907 cites W2135453964 @default.
- W2095642907 cites W2137657386 @default.
- W2095642907 cites W2145785237 @default.
- W2095642907 cites W2150119568 @default.
- W2095642907 cites W2152406824 @default.
- W2095642907 cites W2161999969 @default.
- W2095642907 doi "https://doi.org/10.1109/iccd.1994.331896" @default.
- W2095642907 hasPublicationYear "2002" @default.
- W2095642907 type Work @default.
- W2095642907 sameAs 2095642907 @default.
- W2095642907 citedByCount "18" @default.
- W2095642907 crossrefType "proceedings-article" @default.
- W2095642907 hasAuthorship W2095642907A5005432629 @default.
- W2095642907 hasAuthorship W2095642907A5019892407 @default.
- W2095642907 hasAuthorship W2095642907A5024891882 @default.
- W2095642907 hasAuthorship W2095642907A5066653862 @default.
- W2095642907 hasAuthorship W2095642907A5077549627 @default.
- W2095642907 hasConcept C105795698 @default.
- W2095642907 hasConcept C11413529 @default.
- W2095642907 hasConcept C118615104 @default.
- W2095642907 hasConcept C124101348 @default.
- W2095642907 hasConcept C124681953 @default.
- W2095642907 hasConcept C131017901 @default.
- W2095642907 hasConcept C132525143 @default.
- W2095642907 hasConcept C136643341 @default.
- W2095642907 hasConcept C140745168 @default.
- W2095642907 hasConcept C162319229 @default.
- W2095642907 hasConcept C187075797 @default.
- W2095642907 hasConcept C18903297 @default.
- W2095642907 hasConcept C199360897 @default.
- W2095642907 hasConcept C26517878 @default.
- W2095642907 hasConcept C2778258933 @default.
- W2095642907 hasConcept C2780009758 @default.
- W2095642907 hasConcept C33923547 @default.
- W2095642907 hasConcept C38652104 @default.
- W2095642907 hasConcept C41008148 @default.
- W2095642907 hasConcept C48103436 @default.
- W2095642907 hasConcept C72434380 @default.
- W2095642907 hasConcept C80444323 @default.
- W2095642907 hasConcept C86803240 @default.
- W2095642907 hasConcept C96333769 @default.
- W2095642907 hasConceptScore W2095642907C105795698 @default.
- W2095642907 hasConceptScore W2095642907C11413529 @default.
- W2095642907 hasConceptScore W2095642907C118615104 @default.
- W2095642907 hasConceptScore W2095642907C124101348 @default.
- W2095642907 hasConceptScore W2095642907C124681953 @default.
- W2095642907 hasConceptScore W2095642907C131017901 @default.
- W2095642907 hasConceptScore W2095642907C132525143 @default.
- W2095642907 hasConceptScore W2095642907C136643341 @default.
- W2095642907 hasConceptScore W2095642907C140745168 @default.
- W2095642907 hasConceptScore W2095642907C162319229 @default.
- W2095642907 hasConceptScore W2095642907C187075797 @default.
- W2095642907 hasConceptScore W2095642907C18903297 @default.
- W2095642907 hasConceptScore W2095642907C199360897 @default.
- W2095642907 hasConceptScore W2095642907C26517878 @default.
- W2095642907 hasConceptScore W2095642907C2778258933 @default.
- W2095642907 hasConceptScore W2095642907C2780009758 @default.
- W2095642907 hasConceptScore W2095642907C33923547 @default.
- W2095642907 hasConceptScore W2095642907C38652104 @default.
- W2095642907 hasConceptScore W2095642907C41008148 @default.
- W2095642907 hasConceptScore W2095642907C48103436 @default.
- W2095642907 hasConceptScore W2095642907C72434380 @default.
- W2095642907 hasConceptScore W2095642907C80444323 @default.
- W2095642907 hasConceptScore W2095642907C86803240 @default.
- W2095642907 hasConceptScore W2095642907C96333769 @default.
- W2095642907 hasLocation W20956429071 @default.
- W2095642907 hasOpenAccess W2095642907 @default.
- W2095642907 hasPrimaryLocation W20956429071 @default.
- W2095642907 hasRelatedWork W138282622 @default.
- W2095642907 hasRelatedWork W1994348879 @default.
- W2095642907 hasRelatedWork W2062420902 @default.
- W2095642907 hasRelatedWork W2171468557 @default.
- W2095642907 hasRelatedWork W2497391310 @default.
- W2095642907 hasRelatedWork W2537925261 @default.
- W2095642907 hasRelatedWork W2586012104 @default.
- W2095642907 hasRelatedWork W2772294324 @default.
- W2095642907 hasRelatedWork W38902447 @default.
- W2095642907 hasRelatedWork W895230556 @default.
- W2095642907 isParatext "false" @default.
- W2095642907 isRetracted "false" @default.
- W2095642907 magId "2095642907" @default.
- W2095642907 workType "article" @default.