书目名称 | System-on-Chip Methodologies & Design Languages | 编辑 | Peter J. Ashenden,Jean P. Mermet,Ralf Seepold | 视频video | | 图书封面 |  | 描述 | .System-on-Chip Methodologies & Design Languages. bringstogether a selection of the best papers from three internationalelectronic design language conferences in 2000. The conferences arethe Hardware Description Language Conference and Exhibition (HDLCon),held in the Silicon Valley area of USA; the Forum on Design Languages(FDL), held in Europe; and the Asia Pacific Chip Design Language(APChDL) Conference. The papers cover a range of topics, includingdesign methods, specification and modeling languages, tool issues,formal verification, simulation and synthesis. The results presentedin these papers will help researchers and practicing engineers keepabreast of developments in this rapidly evolving field. | 出版日期 | Book 2001 | 关键词 | C programming language; Embedded System; Processing; Software; formal verification; modeling; optimization | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4757-3281-8 | isbn_softcover | 978-1-4419-4901-1 | isbn_ebook | 978-1-4757-3281-8 | copyright | Springer Science+Business Media New York 2001 |
The information of publication is updating
|
|