Kong Woei Susanto, Thomas F. Melham. Formally Analyzed Dynamic Synthesis of Hardware. The Journal of Supercomputing, 19(1):7-22, 2001.
@article{SusantoM01, title = {Formally Analyzed Dynamic Synthesis of Hardware}, author = {Kong Woei Susanto and Thomas F. Melham}, year = {2001}, researchr = {https://researchr.org/publication/SusantoM01}, cites = {0}, citedby = {0}, journal = {The Journal of Supercomputing}, volume = {19}, number = {1}, pages = {7-22}, }