|
41 |
Automatic design error correction of combinational circuits Hoffmann, Dirk W.. - Berlin : Logos-Verl., 2001
|
|
|
42 |
AC-3 V1.00 Hoffmann, Dirk W.. - Karlsruhe : Univ., Fak. für Informatik, Bibliothek, 1999
|
|
|
43 |
Using BDD-based decomposition for automatic error correction of combinatorial circuits Hoffmann, Dirk W.. - Karlsruhe : Univ., Fak. für Informatik, Bibliothek, 1999
|
|
|
44 |
Verification of a GF(2m̂) multiplier circuit for digital signal processing Hoffmann, Dirk W.. - Karlsruhe : Univ., Fak. für Informatik, 1998
|
|
|
45 |
Hoffmann, Dirk W. 1972- / Informatiker
|
|