Formally Analyzed Dynamic Synthesis of Hardware (Journal of Supercomputing, 2001)

(untitled) - Susanto, K; Melham, T