M. Brandon Meredith

According to our database, M. Brandon Meredith authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra.

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu

IEEE Trans. Very Large Scale Integr. Syst., 2008

2007

Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors.

Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.

Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006