page 1  (18 pages)
2to next section

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.