| |
| 2007 | ||
|---|---|---|
| 2 | EE | Markus Wedler, Dominik Stoffel, Raik Brinkmann, Wolfgang Kunz: A Normalization Method for Arithmetic Data-Path Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 26(11): 1909-1922 (2007) |
| 2002 | ||
| 1 | EE | Raik Brinkmann, Rolf Drechsler: RTL-Datapath Verification using Integer Linear Programming. VLSI Design 2002: 741-746 |
| 1 | Rolf Drechsler | [1] |
| 2 | Wolfgang Kunz | [2] |
| 3 | Dominik Stoffel | [2] |
| 4 | Markus Wedler | [2] |