2002 | ||
---|---|---|
2 | EE | Michel R. C. M. Berkelaar, Koen van Eijk: Efficient and Effective Redundancy Removal for Million-Gate Circuits. DATE 2002: 1088 |
1998 | ||
1 | EE | Harm Arts, Michel R. C. M. Berkelaar, Koen van Eijk: Computing observability don't cares efficiently through polarization. IEEE Trans. on CAD of Integrated Circuits and Systems 17(7): 573-581 (1998) |
1 | Harm Arts | [1] |
2 | Michel R. C. M. Berkelaar | [1] [2] |