Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158292008> ?p ?o ?g. }
- W2158292008 endingPage "1202" @default.
- W2158292008 startingPage "1190" @default.
- W2158292008 abstract "The 2-SPP networks are three-level EXOR-AND-OR forms, with EXOR gates being restricted to fan-in 2. This paper presents a heuristic algorithm for the synthesis of these networks in a form that is fully testable in the stuck-at fault model (SAFM). The algorithm extends the EXPAND-IRREDUNDANT-REDUCE paradigm of ESPRESSO in heuristic mode, and it iterates local minimization and reshape of a solution until no further improvement can be achieved. This heuristic could escape from local minima using a LAST_GASP-like procedure. Moreover, the testability of 2-SPP networks under the SAFM is studied, and the notion of EXOR-irredundancy is introduced to prove that the computed 2-SPP networks are fully testable under the SAFM. Finally, this paper reports a large set of experiments showing high-quality results with affordable run times, handling also examples whose exact solutions could not be computed." @default.
- W2158292008 created "2016-06-24" @default.
- W2158292008 creator A5032558381 @default.
- W2158292008 creator A5071742136 @default.
- W2158292008 creator A5076933640 @default.
- W2158292008 creator A5084281460 @default.
- W2158292008 date "2008-07-01" @default.
- W2158292008 modified "2023-09-23" @default.
- W2158292008 title "Logic Minimization and Testability of 2-SPP Networks" @default.
- W2158292008 cites W110753034 @default.
- W2158292008 cites W140821513 @default.
- W2158292008 cites W146874548 @default.
- W2158292008 cites W1489746688 @default.
- W2158292008 cites W1494035541 @default.
- W2158292008 cites W1505590927 @default.
- W2158292008 cites W1511688816 @default.
- W2158292008 cites W1545041929 @default.
- W2158292008 cites W1558716994 @default.
- W2158292008 cites W1585866789 @default.
- W2158292008 cites W1677852443 @default.
- W2158292008 cites W1975335740 @default.
- W2158292008 cites W1975507646 @default.
- W2158292008 cites W198434234 @default.
- W2158292008 cites W1993937043 @default.
- W2158292008 cites W2036645083 @default.
- W2158292008 cites W2080267935 @default.
- W2158292008 cites W2081742683 @default.
- W2158292008 cites W2105761964 @default.
- W2158292008 cites W2108234805 @default.
- W2158292008 cites W2124869406 @default.
- W2158292008 cites W2128706989 @default.
- W2158292008 cites W2134616974 @default.
- W2158292008 cites W2146660848 @default.
- W2158292008 cites W2151952489 @default.
- W2158292008 cites W2156536717 @default.
- W2158292008 cites W2160481290 @default.
- W2158292008 cites W2164041216 @default.
- W2158292008 cites W2165956692 @default.
- W2158292008 cites W2168473504 @default.
- W2158292008 cites W2930089260 @default.
- W2158292008 doi "https://doi.org/10.1109/tcad.2008.923072" @default.
- W2158292008 hasPublicationYear "2008" @default.
- W2158292008 type Work @default.
- W2158292008 sameAs 2158292008 @default.
- W2158292008 citedByCount "24" @default.
- W2158292008 countsByYear W21582920082013 @default.
- W2158292008 countsByYear W21582920082014 @default.
- W2158292008 countsByYear W21582920082015 @default.
- W2158292008 countsByYear W21582920082016 @default.
- W2158292008 countsByYear W21582920082017 @default.
- W2158292008 countsByYear W21582920082018 @default.
- W2158292008 countsByYear W21582920082019 @default.
- W2158292008 countsByYear W21582920082020 @default.
- W2158292008 crossrefType "journal-article" @default.
- W2158292008 hasAuthorship W2158292008A5032558381 @default.
- W2158292008 hasAuthorship W2158292008A5071742136 @default.
- W2158292008 hasAuthorship W2158292008A5076933640 @default.
- W2158292008 hasAuthorship W2158292008A5084281460 @default.
- W2158292008 hasConcept C105795698 @default.
- W2158292008 hasConcept C11413529 @default.
- W2158292008 hasConcept C134306372 @default.
- W2158292008 hasConcept C140479938 @default.
- W2158292008 hasConcept C147764199 @default.
- W2158292008 hasConcept C154945302 @default.
- W2158292008 hasConcept C173801870 @default.
- W2158292008 hasConcept C177264268 @default.
- W2158292008 hasConcept C186633575 @default.
- W2158292008 hasConcept C199360897 @default.
- W2158292008 hasConcept C33923547 @default.
- W2158292008 hasConcept C41008148 @default.
- W2158292008 hasConcept C51234621 @default.
- W2158292008 hasConceptScore W2158292008C105795698 @default.
- W2158292008 hasConceptScore W2158292008C11413529 @default.
- W2158292008 hasConceptScore W2158292008C134306372 @default.
- W2158292008 hasConceptScore W2158292008C140479938 @default.
- W2158292008 hasConceptScore W2158292008C147764199 @default.
- W2158292008 hasConceptScore W2158292008C154945302 @default.
- W2158292008 hasConceptScore W2158292008C173801870 @default.
- W2158292008 hasConceptScore W2158292008C177264268 @default.
- W2158292008 hasConceptScore W2158292008C186633575 @default.
- W2158292008 hasConceptScore W2158292008C199360897 @default.
- W2158292008 hasConceptScore W2158292008C33923547 @default.
- W2158292008 hasConceptScore W2158292008C41008148 @default.
- W2158292008 hasConceptScore W2158292008C51234621 @default.
- W2158292008 hasIssue "7" @default.
- W2158292008 hasLocation W21582920081 @default.
- W2158292008 hasOpenAccess W2158292008 @default.
- W2158292008 hasPrimaryLocation W21582920081 @default.
- W2158292008 hasRelatedWork W1486079222 @default.
- W2158292008 hasRelatedWork W1975853648 @default.
- W2158292008 hasRelatedWork W1980145057 @default.
- W2158292008 hasRelatedWork W2044579086 @default.
- W2158292008 hasRelatedWork W2089377086 @default.
- W2158292008 hasRelatedWork W2118401205 @default.
- W2158292008 hasRelatedWork W2156536717 @default.
- W2158292008 hasRelatedWork W2158292008 @default.
- W2158292008 hasRelatedWork W4210838092 @default.
- W2158292008 hasRelatedWork W4250124476 @default.