FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065005875> ?p ?o ?g. }

• W2065005875 endingPage "17" @default.
• W2065005875 startingPage "1" @default.
• W2065005875 abstract "Logic and fault simulation are essential techniques in electronic design automation. The accuracy of standard simulation algorithms is compromised by unknown or X-values. This results in a pessimistic overestimation of X-valued signals in the circuit and a pessimistic underestimation of fault coverage. This work proposes efficient algorithms for combinational and sequential logic as well as for stuck-at and transition-delay fault simulation that are free of any simulation pessimism in presence of unknowns. The SAT-based algorithms exactly classifiy all signal states. During fault simulation, each fault is accurately classified as either undetected, definitely detected, or possibly detected. The pessimism with respect to unknowns present in classic algorithms is thoroughly investigated in the experimental results on benchmark circuits. The applicability of the proposed algorithms is demonstrated on larger industrial circuits. The results show that, by accurate analysis, the number of detected faults can be significantly increased without increasing the test-set size." @default.
• W2065005875 created "2016-06-24" @default.
• W2065005875 creator A5000150539 @default.
• W2065005875 creator A5008775226 @default.
• W2065005875 creator A5023986090 @default.
• W2065005875 creator A5038861833 @default.
• W2065005875 creator A5058173647 @default.
• W2065005875 creator A5059706318 @default.
• W2065005875 creator A5070176716 @default.
• W2065005875 date "2014-06-01" @default.
• W2065005875 modified "2023-09-26" @default.
• W2065005875 title "Exact Logic and Fault Simulation in Presence of Unknowns" @default.
• W2065005875 cites W1593435444 @default.
• W2065005875 cites W2069246068 @default.
• W2065005875 cites W2078570404 @default.
• W2065005875 cites W2079501290 @default.
• W2065005875 cites W2080267935 @default.
• W2065005875 cites W2089455823 @default.
• W2065005875 cites W2107203554 @default.
• W2065005875 cites W2108681270 @default.
• W2065005875 cites W2110490782 @default.
• W2065005875 cites W2118744758 @default.
• W2065005875 cites W2121706505 @default.
• W2065005875 cites W2153336129 @default.
• W2065005875 cites W2171920205 @default.
• W2065005875 cites W4252773126 @default.
• W2065005875 doi "https://doi.org/10.1145/2611760" @default.
• W2065005875 hasPublicationYear "2014" @default.
• W2065005875 type Work @default.
• W2065005875 sameAs 2065005875 @default.
• W2065005875 citedByCount "12" @default.
• W2065005875 countsByYear W20650058752013 @default.
• W2065005875 countsByYear W20650058752014 @default.
• W2065005875 countsByYear W20650058752015 @default.
• W2065005875 countsByYear W20650058752016 @default.
• W2065005875 countsByYear W20650058752019 @default.
• W2065005875 countsByYear W20650058752020 @default.
• W2065005875 crossrefType "journal-article" @default.
• W2065005875 hasAuthorship W2065005875A5000150539 @default.
• W2065005875 hasAuthorship W2065005875A5008775226 @default.
• W2065005875 hasAuthorship W2065005875A5023986090 @default.
• W2065005875 hasAuthorship W2065005875A5038861833 @default.
• W2065005875 hasAuthorship W2065005875A5058173647 @default.
• W2065005875 hasAuthorship W2065005875A5059706318 @default.
• W2065005875 hasAuthorship W2065005875A5070176716 @default.
• W2065005875 hasBestOaLocation W20650058752 @default.
• W2065005875 hasConcept C113775141 @default.
• W2065005875 hasConcept C11413529 @default.
• W2065005875 hasConcept C115901376 @default.
• W2065005875 hasConcept C119599485 @default.
• W2065005875 hasConcept C126953365 @default.
• W2065005875 hasConcept C127313418 @default.
• W2065005875 hasConcept C127413603 @default.
• W2065005875 hasConcept C131017901 @default.
• W2065005875 hasConcept C13280743 @default.
• W2065005875 hasConcept C134146338 @default.
• W2065005875 hasConcept C165205528 @default.
• W2065005875 hasConcept C175551986 @default.
• W2065005875 hasConcept C177264268 @default.
• W2065005875 hasConcept C185798385 @default.
• W2065005875 hasConcept C187075797 @default.
• W2065005875 hasConcept C199360897 @default.
• W2065005875 hasConcept C205649164 @default.
• W2065005875 hasConcept C41008148 @default.
• W2065005875 hasConcept C64859876 @default.
• W2065005875 hasConcept C78519656 @default.
• W2065005875 hasConcept C81409106 @default.
• W2065005875 hasConceptScore W2065005875C113775141 @default.
• W2065005875 hasConceptScore W2065005875C11413529 @default.
• W2065005875 hasConceptScore W2065005875C115901376 @default.
• W2065005875 hasConceptScore W2065005875C119599485 @default.
• W2065005875 hasConceptScore W2065005875C126953365 @default.
• W2065005875 hasConceptScore W2065005875C127313418 @default.
• W2065005875 hasConceptScore W2065005875C127413603 @default.
• W2065005875 hasConceptScore W2065005875C131017901 @default.
• W2065005875 hasConceptScore W2065005875C13280743 @default.
• W2065005875 hasConceptScore W2065005875C134146338 @default.
• W2065005875 hasConceptScore W2065005875C165205528 @default.
• W2065005875 hasConceptScore W2065005875C175551986 @default.
• W2065005875 hasConceptScore W2065005875C177264268 @default.
• W2065005875 hasConceptScore W2065005875C185798385 @default.
• W2065005875 hasConceptScore W2065005875C187075797 @default.
• W2065005875 hasConceptScore W2065005875C199360897 @default.
• W2065005875 hasConceptScore W2065005875C205649164 @default.
• W2065005875 hasConceptScore W2065005875C41008148 @default.
• W2065005875 hasConceptScore W2065005875C64859876 @default.
• W2065005875 hasConceptScore W2065005875C78519656 @default.
• W2065005875 hasConceptScore W2065005875C81409106 @default.
• W2065005875 hasFunder F4320320879 @default.
• W2065005875 hasIssue "3" @default.
• W2065005875 hasLocation W20650058751 @default.
• W2065005875 hasLocation W20650058752 @default.
• W2065005875 hasOpenAccess W2065005875 @default.
• W2065005875 hasPrimaryLocation W20650058751 @default.
• W2065005875 hasRelatedWork W2065005875 @default.
• W2065005875 hasRelatedWork W2093652003 @default.
• W2065005875 hasRelatedWork W2096585895 @default.
• W2065005875 hasRelatedWork W2134239377 @default.

• next