No label defined (Q4344221)
From MaRDI portal
scientific article; zbMATH DE number 1033831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1033831 |
Statements
15 July 1997
0 references
logic synthesis
0 references
Boolean circuits
0 references
implicant
0 references
combinatorial logic circuits
0 references
combinatorial network analysis
0 references
test generation
0 references
circuit equivalence testing
0 references
logic optimization
0 references
switching theory
0 references
automatic test pattern generation
0 references
logic verification
0 references
recursive learning
0 references
fault detection
0 references
multi-level integrated circuits
0 references
