| 書目名稱 | Hardware/Software Co-Design and Co-Verification |
| 編輯 | Jean-Michel Bergé,Oz Levia,Jacques Rouillard |
| 視頻video | http://file.papertrans.cn/425/424225/424225.mp4 |
| 叢書名稱 | Current Issues in Electronic Modeling |
| 圖書封面 |  |
| 描述 | Co-Design is the set of emerging techniques which allows forthe simultaneous design of Hardware and Software. In many cases wherethe application is very demanding in terms of various performances(time, surface, power consumption), trade-offs between dedicatedhardware and dedicated software are becoming increasingly difficult todecide upon in the early stages of a design. Verification techniques- such as simulation or proof techniques - that haveproven necessary in the hardware design must be dramatically adaptedto the simultaneous verification of Software and Hardware. .Describing the latest tools available for both Co-Design andCo-Verification of systems, .Hardware/Software Co-Design and..Co-Verification. offers a complete look at this evolving set ofprocedures for CAD environments. The book considers all trade-offsthat have to be made when co-designing a system. Several models arepresented for determining the optimum solution to any co-designproblem, including partitioning, architecture synthesis and codegeneration. .When deciding on trade-offs, one of the main factors to be consideredis the flow of communication, especially to and from the outsideworld. This involves the modelin |
| 出版日期 | Book 1997 |
| 關鍵詞 | Computer-Aided Design (CAD); Hardware; Simulation; System; architecture; communication; consumption; model; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4757-2629-9 |
| isbn_softcover | 978-1-4419-5159-5 |
| isbn_ebook | 978-1-4757-2629-9Series ISSN 1381-3951 |
| issn_series | 1381-3951 |
| copyright | Springer-Verlag US 1997 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 04:57
發(fā)表于 2025-3-21 17:10:29
