Matches in SemOpenAlex for { <https://semopenalex.org/work/W76139766> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W76139766 abstract "In this chapter we review a number of representative algorithms for error diagnosis and correction. For error diagnosis, we discuss methods of locating the error sources in an incorrect combinational implementation using BDD techniques or logic simulation. For error correction, we illustrate the techniques of rectifying the circuit by re-synthesizing a number of signals, or by matching the erroneous behavior with a pre-defined error type, (e.g., a missing inverter). Finally, we describe a logic rectification approach using equivalence checking techniques and a heuristic called back-substitution." @default.
- W76139766 created "2016-06-24" @default.
- W76139766 creator A5077687075 @default.
- W76139766 creator A5085636078 @default.
- W76139766 date "1998-01-01" @default.
- W76139766 modified "2023-09-27" @default.
- W76139766 title "Introduction to Logic Debugging" @default.
- W76139766 doi "https://doi.org/10.1007/978-1-4615-5693-0_8" @default.
- W76139766 hasPublicationYear "1998" @default.
- W76139766 type Work @default.
- W76139766 sameAs 76139766 @default.
- W76139766 citedByCount "0" @default.
- W76139766 crossrefType "book-chapter" @default.
- W76139766 hasAuthorship W76139766A5077687075 @default.
- W76139766 hasAuthorship W76139766A5085636078 @default.
- W76139766 hasConcept C103088060 @default.
- W76139766 hasConcept C110251889 @default.
- W76139766 hasConcept C11413529 @default.
- W76139766 hasConcept C118615104 @default.
- W76139766 hasConcept C131017901 @default.
- W76139766 hasConcept C154945302 @default.
- W76139766 hasConcept C168065819 @default.
- W76139766 hasConcept C173801870 @default.
- W76139766 hasConcept C187075797 @default.
- W76139766 hasConcept C199360897 @default.
- W76139766 hasConcept C2780069185 @default.
- W76139766 hasConcept C33923547 @default.
- W76139766 hasConcept C41008148 @default.
- W76139766 hasConcept C80444323 @default.
- W76139766 hasConcept C81409106 @default.
- W76139766 hasConcept C94375191 @default.
- W76139766 hasConcept C96654402 @default.
- W76139766 hasConceptScore W76139766C103088060 @default.
- W76139766 hasConceptScore W76139766C110251889 @default.
- W76139766 hasConceptScore W76139766C11413529 @default.
- W76139766 hasConceptScore W76139766C118615104 @default.
- W76139766 hasConceptScore W76139766C131017901 @default.
- W76139766 hasConceptScore W76139766C154945302 @default.
- W76139766 hasConceptScore W76139766C168065819 @default.
- W76139766 hasConceptScore W76139766C173801870 @default.
- W76139766 hasConceptScore W76139766C187075797 @default.
- W76139766 hasConceptScore W76139766C199360897 @default.
- W76139766 hasConceptScore W76139766C2780069185 @default.
- W76139766 hasConceptScore W76139766C33923547 @default.
- W76139766 hasConceptScore W76139766C41008148 @default.
- W76139766 hasConceptScore W76139766C80444323 @default.
- W76139766 hasConceptScore W76139766C81409106 @default.
- W76139766 hasConceptScore W76139766C94375191 @default.
- W76139766 hasConceptScore W76139766C96654402 @default.
- W76139766 hasLocation W761397661 @default.
- W76139766 hasOpenAccess W76139766 @default.
- W76139766 hasPrimaryLocation W761397661 @default.
- W76139766 hasRelatedWork W1884784351 @default.
- W76139766 hasRelatedWork W1982275503 @default.
- W76139766 hasRelatedWork W1997348938 @default.
- W76139766 hasRelatedWork W1997925639 @default.
- W76139766 hasRelatedWork W2010018110 @default.
- W76139766 hasRelatedWork W2020736643 @default.
- W76139766 hasRelatedWork W2044869629 @default.
- W76139766 hasRelatedWork W2097293815 @default.
- W76139766 hasRelatedWork W2102143499 @default.
- W76139766 hasRelatedWork W2103509853 @default.
- W76139766 hasRelatedWork W2143728069 @default.
- W76139766 hasRelatedWork W2151155724 @default.
- W76139766 hasRelatedWork W2153810571 @default.
- W76139766 hasRelatedWork W2158930044 @default.
- W76139766 hasRelatedWork W2164038636 @default.
- W76139766 hasRelatedWork W2165915174 @default.
- W76139766 hasRelatedWork W66432989 @default.
- W76139766 hasRelatedWork W2137719133 @default.
- W76139766 hasRelatedWork W2145206562 @default.
- W76139766 hasRelatedWork W2171840070 @default.
- W76139766 isParatext "false" @default.
- W76139766 isRetracted "false" @default.
- W76139766 magId "76139766" @default.
- W76139766 workType "book-chapter" @default.