Embedded System Codesign: Synthesis and Verification,” presented at (1995)

by H Hsieh, L Lavagno, A Sangiovanni-Vincentelli
Venue:NATO-ASI Workshop on Hardware/Software Codesign