Computer Science Department
Technical Report No. 383
An Example of Interactive Hardware Transformation
Zheng Zhu and Steven D. Johnson
?This paper was presented at the ACM/SIGDA Workshop on Formal Methods in VLSI design, Maimi, Florida, January 1991. Due to publication problems the procedings of this workshop has not yet appeared.