scientific article; zbMATH DE number 1033831

From MaRDI portal

Publication:4344221

Jump to:navigation, search

zbMath0884.68007MaRDI QIDQ4344221

Dominik Stoffel, Wolfgang Kunz

Publication date: 15 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fault detection test generation logic synthesis recursive learning Boolean circuits switching theory automatic test pattern generation logic optimization implicant combinatorial logic circuits circuit equivalence testing combinatorial network analysis logic verification multi-level integrated circuits

Mathematics Subject Classification ID

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

Propagation based local search for bit-precise reasoning, Local Search For Satisfiability Modulo Integer Arithmetic Theories, GridSAT: Design and implementation of a computational grid application, Solvability and control design for synchronization of Boolean networks

Uses Software

SOCRATES

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4344221&oldid=18317341"