System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition

Bhaskar Bose, M. Esen Tuna, Steven D. Johnson. System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. In ICCD. pages 458-461, 1993.

Abstract

Abstract is missing.