indiana university

computer science department

technical report no. 386

System Factorization in Codesign

A Case Study of the Use of Formal Techniques to Achieve

Hardware-Software Decomposition

Bhaskar Bose, M. Esen Tuna, and Steven D. Johnson

June 1993

To appear in the proceedings of the 1993 IEEE International Conference on Computer Design (ICCD '93 ), Cambridge, Massachusetts, October, 1993.