| |
| 2008 | ||
|---|---|---|
| 3 | EE | Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. IEEE Trans. VLSI Syst. 16(4): 376-387 (2008) |
| 2007 | ||
| 2 | EE | Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. ICCAD 2007: 143-148 |
| 2006 | ||
| 1 | EE | Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu: Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. FMCAD 2006: 179-186 |
| 1 | Florian Enescu | [1] [2] [3] |
| 2 | Sivaram Gopalakrishnan | [2] |
| 3 | Priyank Kalla | [1] [2] [3] |
| 4 | Namrata Shekhar | [1] [3] |