Kong Woei Susanto Thomas F. Melham Formally Analyzed Dynamic Synthesis of Hardware. 7-22 2001 19 The Journal of Supercomputing 1 db/journals/tjs/tjs19.html#SusantoM01