Skip to main content

Formally Analyzed Dynamic Synthesis of Hardware

Kong Woei Susanto and Tom Melham

ISSN
0920−8542
Journal
The Journal of Supercomputing
Month
May
Number
1
Pages
7–22
Volume
19
Year
2001