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

Browse the full ICCD paper archive.