Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251935105> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4251935105 abstract "We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending concepts from classic automatic test-pattern generation (ATPG) algorithms and interval-arithmetic to guide the search process. We extend the idea of Boolean recursive learning on predicate logic in the RTL using Boolean and interval constraint propagation in the control and data-path of the circuit. This is used as a pre-processing step to derive relations between predicate logic signals that are used to augment the search. We demonstrate experimentally that these methods provide significant improvement over current techniques on sample benchmarks." @default.
- W4251935105 created "2022-05-12" @default.
- W4251935105 creator A5003500260 @default.
- W4251935105 creator A5019783775 @default.
- W4251935105 creator A5034317899 @default.
- W4251935105 creator A5036428500 @default.
- W4251935105 date "2005-01-01" @default.
- W4251935105 modified "2023-09-29" @default.
- W4251935105 title "Structural search for RTL with predicate learning" @default.
- W4251935105 doi "https://doi.org/10.1109/dac.2005.193851" @default.
- W4251935105 hasPublicationYear "2005" @default.
- W4251935105 type Work @default.
- W4251935105 citedByCount "0" @default.
- W4251935105 crossrefType "proceedings-article" @default.
- W4251935105 hasAuthorship W4251935105A5003500260 @default.
- W4251935105 hasAuthorship W4251935105A5019783775 @default.
- W4251935105 hasAuthorship W4251935105A5034317899 @default.
- W4251935105 hasAuthorship W4251935105A5036428500 @default.
- W4251935105 hasConcept C102993220 @default.
- W4251935105 hasConcept C110039528 @default.
- W4251935105 hasConcept C110251889 @default.
- W4251935105 hasConcept C11413529 @default.
- W4251935105 hasConcept C119599485 @default.
- W4251935105 hasConcept C127413603 @default.
- W4251935105 hasConcept C131017901 @default.
- W4251935105 hasConcept C134146338 @default.
- W4251935105 hasConcept C140146324 @default.
- W4251935105 hasConcept C141796577 @default.
- W4251935105 hasConcept C157922185 @default.
- W4251935105 hasConcept C168773769 @default.
- W4251935105 hasConcept C17626397 @default.
- W4251935105 hasConcept C199360897 @default.
- W4251935105 hasConcept C203659156 @default.
- W4251935105 hasConcept C2779907942 @default.
- W4251935105 hasConcept C34854456 @default.
- W4251935105 hasConcept C41008148 @default.
- W4251935105 hasConcept C6943359 @default.
- W4251935105 hasConcept C73314972 @default.
- W4251935105 hasConcept C80444323 @default.
- W4251935105 hasConceptScore W4251935105C102993220 @default.
- W4251935105 hasConceptScore W4251935105C110039528 @default.
- W4251935105 hasConceptScore W4251935105C110251889 @default.
- W4251935105 hasConceptScore W4251935105C11413529 @default.
- W4251935105 hasConceptScore W4251935105C119599485 @default.
- W4251935105 hasConceptScore W4251935105C127413603 @default.
- W4251935105 hasConceptScore W4251935105C131017901 @default.
- W4251935105 hasConceptScore W4251935105C134146338 @default.
- W4251935105 hasConceptScore W4251935105C140146324 @default.
- W4251935105 hasConceptScore W4251935105C141796577 @default.
- W4251935105 hasConceptScore W4251935105C157922185 @default.
- W4251935105 hasConceptScore W4251935105C168773769 @default.
- W4251935105 hasConceptScore W4251935105C17626397 @default.
- W4251935105 hasConceptScore W4251935105C199360897 @default.
- W4251935105 hasConceptScore W4251935105C203659156 @default.
- W4251935105 hasConceptScore W4251935105C2779907942 @default.
- W4251935105 hasConceptScore W4251935105C34854456 @default.
- W4251935105 hasConceptScore W4251935105C41008148 @default.
- W4251935105 hasConceptScore W4251935105C6943359 @default.
- W4251935105 hasConceptScore W4251935105C73314972 @default.
- W4251935105 hasConceptScore W4251935105C80444323 @default.
- W4251935105 hasLocation W42519351051 @default.
- W4251935105 hasOpenAccess W4251935105 @default.
- W4251935105 hasPrimaryLocation W42519351051 @default.
- W4251935105 hasRelatedWork W2013362039 @default.
- W4251935105 hasRelatedWork W2038202369 @default.
- W4251935105 hasRelatedWork W2101919958 @default.
- W4251935105 hasRelatedWork W2107759705 @default.
- W4251935105 hasRelatedWork W2109676928 @default.
- W4251935105 hasRelatedWork W2125459034 @default.
- W4251935105 hasRelatedWork W2157533144 @default.
- W4251935105 hasRelatedWork W2169183115 @default.
- W4251935105 hasRelatedWork W2540008047 @default.
- W4251935105 hasRelatedWork W2545341068 @default.
- W4251935105 isParatext "false" @default.
- W4251935105 isRetracted "false" @default.
- W4251935105 workType "article" @default.