Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120147320> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2120147320 abstract "This paper presents a novel method for false path detection using satisfiability. It is based on circuit node properties that are related to non-testable stuck-at faults as well as to false path detection. When compared to traditional satisfiability methods that generate sat instances associated to paths, the proposed method is more efficient. This efficiency derives from the fact that most digital circuits have a number of nodes that is smaller than the number of paths." @default.
- W2120147320 created "2016-06-24" @default.
- W2120147320 creator A5065397615 @default.
- W2120147320 creator A5068714995 @default.
- W2120147320 creator A5068796829 @default.
- W2120147320 creator A5090563366 @default.
- W2120147320 date "2005-04-17" @default.
- W2120147320 modified "2023-10-14" @default.
- W2120147320 title "A new approach to the use of satisfiability in false path detection" @default.
- W2120147320 cites W2125024536 @default.
- W2120147320 cites W2150813825 @default.
- W2120147320 cites W2160444875 @default.
- W2120147320 cites W2166642410 @default.
- W2120147320 cites W2166827623 @default.
- W2120147320 doi "https://doi.org/10.1145/1057661.1057735" @default.
- W2120147320 hasPublicationYear "2005" @default.
- W2120147320 type Work @default.
- W2120147320 sameAs 2120147320 @default.
- W2120147320 citedByCount "5" @default.
- W2120147320 countsByYear W21201473202018 @default.
- W2120147320 crossrefType "proceedings-article" @default.
- W2120147320 hasAuthorship W2120147320A5065397615 @default.
- W2120147320 hasAuthorship W2120147320A5068714995 @default.
- W2120147320 hasAuthorship W2120147320A5068796829 @default.
- W2120147320 hasAuthorship W2120147320A5090563366 @default.
- W2120147320 hasBestOaLocation W21201473202 @default.
- W2120147320 hasConcept C11413529 @default.
- W2120147320 hasConcept C154945302 @default.
- W2120147320 hasConcept C168773769 @default.
- W2120147320 hasConcept C199360897 @default.
- W2120147320 hasConcept C2777735758 @default.
- W2120147320 hasConcept C41008148 @default.
- W2120147320 hasConceptScore W2120147320C11413529 @default.
- W2120147320 hasConceptScore W2120147320C154945302 @default.
- W2120147320 hasConceptScore W2120147320C168773769 @default.
- W2120147320 hasConceptScore W2120147320C199360897 @default.
- W2120147320 hasConceptScore W2120147320C2777735758 @default.
- W2120147320 hasConceptScore W2120147320C41008148 @default.
- W2120147320 hasLocation W21201473201 @default.
- W2120147320 hasLocation W21201473202 @default.
- W2120147320 hasOpenAccess W2120147320 @default.
- W2120147320 hasPrimaryLocation W21201473201 @default.
- W2120147320 hasRelatedWork W2023505575 @default.
- W2120147320 hasRelatedWork W2090854154 @default.
- W2120147320 hasRelatedWork W2212155158 @default.
- W2120147320 hasRelatedWork W2351491280 @default.
- W2120147320 hasRelatedWork W2371125232 @default.
- W2120147320 hasRelatedWork W2371447506 @default.
- W2120147320 hasRelatedWork W2386767533 @default.
- W2120147320 hasRelatedWork W2393991754 @default.
- W2120147320 hasRelatedWork W303980170 @default.
- W2120147320 hasRelatedWork W3107474891 @default.
- W2120147320 isParatext "false" @default.
- W2120147320 isRetracted "false" @default.
- W2120147320 magId "2120147320" @default.
- W2120147320 workType "article" @default.