Indiana University

Computer Science Department

Technical Report No. 383

An Example of Interactive Hardware Transformation

Zheng Zhu and Steven D. Johnson

May 1993?

?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.