Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169468177> ?p ?o ?g. }
- W2169468177 endingPage "1333" @default.
- W2169468177 startingPage "1329" @default.
- W2169468177 abstract "Due to the rapidly growing size of integrated circuits, there is a need for new algorithms for automatic test pattern generation (ATPG). While classical algorithms reach their limit, there have been recent advances in algorithms to solve Boolean Satisfiability (SAT). Because Boolean SAT solvers are working on conjunctive normal forms (CNFs), the problem has to be transformed. During transformation, relevant information about the problem might get lost and, therefore, is not available in the solving process. In this paper, we present a technique that applies structural knowledge about the circuit during the transformation. As a result, the size of the problem instances decreases, as well as the run time of the ATPG process. The technique was implemented, and experimental results are presented. The approach was combined with the ATPG framework of NXP Semiconductors. It is shown that the overall performance of an industrial framework can significantly be improved. Further experiments show the benefits with regard to the efficiency and robustness of the combined approach." @default.
- W2169468177 created "2016-06-24" @default.
- W2169468177 creator A5008766097 @default.
- W2169468177 creator A5052014650 @default.
- W2169468177 creator A5059569542 @default.
- W2169468177 creator A5065187948 @default.
- W2169468177 creator A5066282637 @default.
- W2169468177 creator A5071742136 @default.
- W2169468177 creator A5074786247 @default.
- W2169468177 date "2008-07-01" @default.
- W2169468177 modified "2023-10-01" @default.
- W2169468177 title "On Acceleration of SAT-Based ATPG for Industrial Designs" @default.
- W2169468177 cites W1840416799 @default.
- W2169468177 cites W2044560939 @default.
- W2169468177 cites W2111994103 @default.
- W2169468177 cites W2112886407 @default.
- W2169468177 cites W2119241964 @default.
- W2169468177 cites W2127167802 @default.
- W2169468177 cites W2135613306 @default.
- W2169468177 cites W2138691602 @default.
- W2169468177 cites W2146543035 @default.
- W2169468177 cites W2149107969 @default.
- W2169468177 cites W2160444875 @default.
- W2169468177 cites W2173124859 @default.
- W2169468177 cites W3016023799 @default.
- W2169468177 cites W4247585869 @default.
- W2169468177 doi "https://doi.org/10.1109/tcad.2008.923107" @default.
- W2169468177 hasPublicationYear "2008" @default.
- W2169468177 type Work @default.
- W2169468177 sameAs 2169468177 @default.
- W2169468177 citedByCount "89" @default.
- W2169468177 countsByYear W21694681772012 @default.
- W2169468177 countsByYear W21694681772013 @default.
- W2169468177 countsByYear W21694681772014 @default.
- W2169468177 countsByYear W21694681772015 @default.
- W2169468177 countsByYear W21694681772016 @default.
- W2169468177 countsByYear W21694681772017 @default.
- W2169468177 countsByYear W21694681772018 @default.
- W2169468177 countsByYear W21694681772019 @default.
- W2169468177 countsByYear W21694681772020 @default.
- W2169468177 countsByYear W21694681772021 @default.
- W2169468177 countsByYear W21694681772022 @default.
- W2169468177 countsByYear W21694681772023 @default.
- W2169468177 crossrefType "journal-article" @default.
- W2169468177 hasAuthorship W2169468177A5008766097 @default.
- W2169468177 hasAuthorship W2169468177A5052014650 @default.
- W2169468177 hasAuthorship W2169468177A5059569542 @default.
- W2169468177 hasAuthorship W2169468177A5065187948 @default.
- W2169468177 hasAuthorship W2169468177A5066282637 @default.
- W2169468177 hasAuthorship W2169468177A5071742136 @default.
- W2169468177 hasAuthorship W2169468177A5074786247 @default.
- W2169468177 hasConcept C104317684 @default.
- W2169468177 hasConcept C113775141 @default.
- W2169468177 hasConcept C11413529 @default.
- W2169468177 hasConcept C119599485 @default.
- W2169468177 hasConcept C127413603 @default.
- W2169468177 hasConcept C131017901 @default.
- W2169468177 hasConcept C134146338 @default.
- W2169468177 hasConcept C168773769 @default.
- W2169468177 hasConcept C17626397 @default.
- W2169468177 hasConcept C185592680 @default.
- W2169468177 hasConcept C187455244 @default.
- W2169468177 hasConcept C199360897 @default.
- W2169468177 hasConcept C204241405 @default.
- W2169468177 hasConcept C41008148 @default.
- W2169468177 hasConcept C55493867 @default.
- W2169468177 hasConcept C63479239 @default.
- W2169468177 hasConcept C6943359 @default.
- W2169468177 hasConcept C81409106 @default.
- W2169468177 hasConcept C98045186 @default.
- W2169468177 hasConceptScore W2169468177C104317684 @default.
- W2169468177 hasConceptScore W2169468177C113775141 @default.
- W2169468177 hasConceptScore W2169468177C11413529 @default.
- W2169468177 hasConceptScore W2169468177C119599485 @default.
- W2169468177 hasConceptScore W2169468177C127413603 @default.
- W2169468177 hasConceptScore W2169468177C131017901 @default.
- W2169468177 hasConceptScore W2169468177C134146338 @default.
- W2169468177 hasConceptScore W2169468177C168773769 @default.
- W2169468177 hasConceptScore W2169468177C17626397 @default.
- W2169468177 hasConceptScore W2169468177C185592680 @default.
- W2169468177 hasConceptScore W2169468177C187455244 @default.
- W2169468177 hasConceptScore W2169468177C199360897 @default.
- W2169468177 hasConceptScore W2169468177C204241405 @default.
- W2169468177 hasConceptScore W2169468177C41008148 @default.
- W2169468177 hasConceptScore W2169468177C55493867 @default.
- W2169468177 hasConceptScore W2169468177C63479239 @default.
- W2169468177 hasConceptScore W2169468177C6943359 @default.
- W2169468177 hasConceptScore W2169468177C81409106 @default.
- W2169468177 hasConceptScore W2169468177C98045186 @default.
- W2169468177 hasIssue "7" @default.
- W2169468177 hasLocation W21694681771 @default.
- W2169468177 hasOpenAccess W2169468177 @default.
- W2169468177 hasPrimaryLocation W21694681771 @default.
- W2169468177 hasRelatedWork W13277579 @default.
- W2169468177 hasRelatedWork W1518705996 @default.
- W2169468177 hasRelatedWork W1840416799 @default.
- W2169468177 hasRelatedWork W1968292327 @default.
- W2169468177 hasRelatedWork W2009778415 @default.