Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233542855> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4233542855 abstract "This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck-at fault model. Please note that due to the flexibility of our approach, various fault models can be handled. A highly efficient data structure, represented by an implication graph, provides a straightforward evaluation of all relevant local and global implications. The experimental results illustrate impressively the effectiveness of our approach. All the MCNC benchmark circuits are processed without any aborted fault requiring less CPU-time than state-of-the-art tools." @default.
- W4233542855 created "2022-05-12" @default.
- W4233542855 creator A5037482485 @default.
- W4233542855 creator A5078376261 @default.
- W4233542855 creator A5089256624 @default.
- W4233542855 date "2002-11-19" @default.
- W4233542855 modified "2023-10-17" @default.
- W4233542855 title "A formal non-heuristic ATPG approach" @default.
- W4233542855 cites W1828527112 @default.
- W4233542855 cites W1846482173 @default.
- W4233542855 cites W192053091 @default.
- W4233542855 cites W1985563424 @default.
- W4233542855 cites W2055013504 @default.
- W4233542855 cites W2107995582 @default.
- W4233542855 cites W2111994103 @default.
- W4233542855 cites W2119241964 @default.
- W4233542855 cites W2125714700 @default.
- W4233542855 cites W2149742432 @default.
- W4233542855 cites W2152406824 @default.
- W4233542855 cites W2160444875 @default.
- W4233542855 cites W2161273503 @default.
- W4233542855 cites W2163730402 @default.
- W4233542855 cites W2172044541 @default.
- W4233542855 cites W4232126994 @default.
- W4233542855 cites W4245586739 @default.
- W4233542855 cites W4250759250 @default.
- W4233542855 cites W4302084786 @default.
- W4233542855 doi "https://doi.org/10.1109/eurdac.1995.527414" @default.
- W4233542855 hasPublicationYear "2002" @default.
- W4233542855 type Work @default.
- W4233542855 citedByCount "3" @default.
- W4233542855 countsByYear W42335428552021 @default.
- W4233542855 crossrefType "proceedings-article" @default.
- W4233542855 hasAuthorship W4233542855A5037482485 @default.
- W4233542855 hasAuthorship W4233542855A5078376261 @default.
- W4233542855 hasAuthorship W4233542855A5089256624 @default.
- W4233542855 hasConcept C105795698 @default.
- W4233542855 hasConcept C113775141 @default.
- W4233542855 hasConcept C11413529 @default.
- W4233542855 hasConcept C119599485 @default.
- W4233542855 hasConcept C127413603 @default.
- W4233542855 hasConcept C131017901 @default.
- W4233542855 hasConcept C132525143 @default.
- W4233542855 hasConcept C13280743 @default.
- W4233542855 hasConcept C134146338 @default.
- W4233542855 hasConcept C154945302 @default.
- W4233542855 hasConcept C173608175 @default.
- W4233542855 hasConcept C173801870 @default.
- W4233542855 hasConcept C17626397 @default.
- W4233542855 hasConcept C185798385 @default.
- W4233542855 hasConcept C187075797 @default.
- W4233542855 hasConcept C205649164 @default.
- W4233542855 hasConcept C2780598303 @default.
- W4233542855 hasConcept C33923547 @default.
- W4233542855 hasConcept C41008148 @default.
- W4233542855 hasConcept C48103436 @default.
- W4233542855 hasConcept C80444323 @default.
- W4233542855 hasConcept C81409106 @default.
- W4233542855 hasConceptScore W4233542855C105795698 @default.
- W4233542855 hasConceptScore W4233542855C113775141 @default.
- W4233542855 hasConceptScore W4233542855C11413529 @default.
- W4233542855 hasConceptScore W4233542855C119599485 @default.
- W4233542855 hasConceptScore W4233542855C127413603 @default.
- W4233542855 hasConceptScore W4233542855C131017901 @default.
- W4233542855 hasConceptScore W4233542855C132525143 @default.
- W4233542855 hasConceptScore W4233542855C13280743 @default.
- W4233542855 hasConceptScore W4233542855C134146338 @default.
- W4233542855 hasConceptScore W4233542855C154945302 @default.
- W4233542855 hasConceptScore W4233542855C173608175 @default.
- W4233542855 hasConceptScore W4233542855C173801870 @default.
- W4233542855 hasConceptScore W4233542855C17626397 @default.
- W4233542855 hasConceptScore W4233542855C185798385 @default.
- W4233542855 hasConceptScore W4233542855C187075797 @default.
- W4233542855 hasConceptScore W4233542855C205649164 @default.
- W4233542855 hasConceptScore W4233542855C2780598303 @default.
- W4233542855 hasConceptScore W4233542855C33923547 @default.
- W4233542855 hasConceptScore W4233542855C41008148 @default.
- W4233542855 hasConceptScore W4233542855C48103436 @default.
- W4233542855 hasConceptScore W4233542855C80444323 @default.
- W4233542855 hasConceptScore W4233542855C81409106 @default.
- W4233542855 hasLocation W42335428551 @default.
- W4233542855 hasOpenAccess W4233542855 @default.
- W4233542855 hasPrimaryLocation W42335428551 @default.
- W4233542855 hasRelatedWork W1904003763 @default.
- W4233542855 hasRelatedWork W2053701592 @default.
- W4233542855 hasRelatedWork W2096066993 @default.
- W4233542855 hasRelatedWork W2110728526 @default.
- W4233542855 hasRelatedWork W2112265472 @default.
- W4233542855 hasRelatedWork W2170656965 @default.
- W4233542855 hasRelatedWork W2362312382 @default.
- W4233542855 hasRelatedWork W2405781677 @default.
- W4233542855 hasRelatedWork W4241661428 @default.
- W4233542855 hasRelatedWork W2141396628 @default.
- W4233542855 isParatext "false" @default.
- W4233542855 isRetracted "false" @default.
- W4233542855 workType "article" @default.