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

by Bhaskar Bose , M. Esen Tuna , Steven D. Johnson
Venue:IN PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN
Citations:4 - 2 self