| |
| 2007 | ||
|---|---|---|
| 1 | EE | Namrata Shekhar, Sudhakar Kalla, Florian Enescu: Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing. IEEE Trans. on CAD of Integrated Circuits and Systems 26(7): 1320-1330 (2007) |
| 1 | Florian Enescu | [1] |
| 2 | Namrata Shekhar | [1] |