Matches in SemOpenAlex for { <https://semopenalex.org/work/W1001112505> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1001112505 endingPage "139" @default.
- W1001112505 startingPage "134" @default.
- W1001112505 abstract "This paper presents modeling tools based on Boolean satisfiability (SAT) to solve problems of test generation for combinational circuits. It exploits an added layer to maintain circuit-related information and value justification relations to a generic SAT algorithm. It dovetails binary decision graphs (BDD) and SAT techniques to improve the efficiency of automatic test pattern generation (ATPG). More specifically, it first exploits inexpensive reconvergent fanout analysis of circuit to gather information on the local signal correlation by using BDD learning, then uses the above learned information to restrict and focus the overall search space of SAT-based ATPG. Its learning technique is effective and lightweight. The experimental results demonstrate the effectiveness of the approach." @default.
- W1001112505 created "2016-06-24" @default.
- W1001112505 creator A5055675139 @default.
- W1001112505 creator A5075307434 @default.
- W1001112505 date "2005-01-01" @default.
- W1001112505 modified "2023-09-24" @default.
- W1001112505 title "Enhancing SAT-Based Test Pattern Generation" @default.
- W1001112505 hasPublicationYear "2005" @default.
- W1001112505 type Work @default.
- W1001112505 sameAs 1001112505 @default.
- W1001112505 citedByCount "0" @default.
- W1001112505 crossrefType "journal-article" @default.
- W1001112505 hasAuthorship W1001112505A5055675139 @default.
- W1001112505 hasAuthorship W1001112505A5075307434 @default.
- W1001112505 hasConcept C11413529 @default.
- W1001112505 hasConcept C119599485 @default.
- W1001112505 hasConcept C127413603 @default.
- W1001112505 hasConcept C131017901 @default.
- W1001112505 hasConcept C134146338 @default.
- W1001112505 hasConcept C165696696 @default.
- W1001112505 hasConcept C168773769 @default.
- W1001112505 hasConcept C17626397 @default.
- W1001112505 hasConcept C187075797 @default.
- W1001112505 hasConcept C187455244 @default.
- W1001112505 hasConcept C3309909 @default.
- W1001112505 hasConcept C38652104 @default.
- W1001112505 hasConcept C41008148 @default.
- W1001112505 hasConcept C6943359 @default.
- W1001112505 hasConcept C80444323 @default.
- W1001112505 hasConcept C81409106 @default.
- W1001112505 hasConcept C81843906 @default.
- W1001112505 hasConceptScore W1001112505C11413529 @default.
- W1001112505 hasConceptScore W1001112505C119599485 @default.
- W1001112505 hasConceptScore W1001112505C127413603 @default.
- W1001112505 hasConceptScore W1001112505C131017901 @default.
- W1001112505 hasConceptScore W1001112505C134146338 @default.
- W1001112505 hasConceptScore W1001112505C165696696 @default.
- W1001112505 hasConceptScore W1001112505C168773769 @default.
- W1001112505 hasConceptScore W1001112505C17626397 @default.
- W1001112505 hasConceptScore W1001112505C187075797 @default.
- W1001112505 hasConceptScore W1001112505C187455244 @default.
- W1001112505 hasConceptScore W1001112505C3309909 @default.
- W1001112505 hasConceptScore W1001112505C38652104 @default.
- W1001112505 hasConceptScore W1001112505C41008148 @default.
- W1001112505 hasConceptScore W1001112505C6943359 @default.
- W1001112505 hasConceptScore W1001112505C80444323 @default.
- W1001112505 hasConceptScore W1001112505C81409106 @default.
- W1001112505 hasConceptScore W1001112505C81843906 @default.
- W1001112505 hasIssue "2" @default.
- W1001112505 hasLocation W10011125051 @default.
- W1001112505 hasOpenAccess W1001112505 @default.
- W1001112505 hasPrimaryLocation W10011125051 @default.
- W1001112505 hasRelatedWork W1486389616 @default.
- W1001112505 hasRelatedWork W1579329129 @default.
- W1001112505 hasRelatedWork W1840416799 @default.
- W1001112505 hasRelatedWork W1981112383 @default.
- W1001112505 hasRelatedWork W2024516243 @default.
- W1001112505 hasRelatedWork W2043866028 @default.
- W1001112505 hasRelatedWork W2045194256 @default.
- W1001112505 hasRelatedWork W2109648051 @default.
- W1001112505 hasRelatedWork W2118289054 @default.
- W1001112505 hasRelatedWork W2130439356 @default.
- W1001112505 hasRelatedWork W2139958548 @default.
- W1001112505 hasRelatedWork W2156837195 @default.
- W1001112505 hasRelatedWork W2165929878 @default.
- W1001112505 hasRelatedWork W2189163111 @default.
- W1001112505 hasRelatedWork W2296722962 @default.
- W1001112505 hasRelatedWork W2387762859 @default.
- W1001112505 hasRelatedWork W2545341068 @default.
- W1001112505 hasRelatedWork W1565011846 @default.
- W1001112505 hasRelatedWork W2098169468 @default.
- W1001112505 hasRelatedWork W2604391196 @default.
- W1001112505 hasVolume "3" @default.
- W1001112505 isParatext "false" @default.
- W1001112505 isRetracted "false" @default.
- W1001112505 magId "1001112505" @default.
- W1001112505 workType "article" @default.