M. Brandon Meredith

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. IEEE Trans. Very Large Scale Integr. Syst. 16 (4) (2008)
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)
Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. FMCAD (2006)