---
author:
- |
    Cunxi Yu$^1$, Mihir Choudhury$^2$, Andrew Sullivan$^2$, Maciej Ciesielski$^1$\
    ECE Department, University of Massachusetts, Amherst$^1$\
    IBM T.J Watson Research Center$^2$\
    ycunxi@umass.edu,  choudhury@us.ibm.com
bibliography:
- 'verification\_ycunxi.bib'
title: Advanced Datapath Synthesis using Graph Isomorphism
---


