A Formal Approach for Optimizing Mapping in System Level Design

Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationTECHCON
StatePublished - 2008

Cite this