TY - GEN AU - Edwards, Martyn D. TI - Automatic logic synthesis techniques for digital systems SN - 0-333-55568-6 PY - 1992/// CY - Houndmills PB - Macmillan KW - INTEGRATED CIRCUITS, DIGITAL KW - INTEGRATED CIRCUIT TESTING ER -