Indiana University Bloomington

School of Informatics and Computing

Technical Report TR386:
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
(Jun 1993), 5 pages
The abstact is not available. Please see the full paper.

Available as: