scientific article; zbMATH DE number 1033831
zbMath0884.68007MaRDI QIDQ4344221
Dominik Stoffel, Wolfgang Kunz
Publication date: 15 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fault detectiontest generationlogic synthesisrecursive learningBoolean circuitsswitching theoryautomatic test pattern generationlogic optimizationimplicantcombinatorial logic circuitscircuit equivalence testingcombinatorial network analysislogic verificationmulti-level integrated circuits
Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Fault detection; testing in circuits and networks (94C12) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Uses Software