片上系統(tǒng)的設(shè)計(jì)和描述語(yǔ)言

內(nèi)容概要

本書(shū)主要針對(duì)數(shù)?；旌舷到y(tǒng)在計(jì)算模型中遇到的問(wèn)題進(jìn)行了分析。通過(guò)對(duì)基于UML，系統(tǒng)的分析以及C/C++等語(yǔ)言的使用，可以很方便的進(jìn)行系統(tǒng)的說(shuō)明和設(shè)計(jì)，加速了系統(tǒng)的檢驗(yàn)和仿真。本書(shū)同時(shí)對(duì)工業(yè)自動(dòng)化設(shè)計(jì)有一定的指導(dǎo)意義。

作者簡(jiǎn)介

作者：(荷蘭)皮埃爾

書(shū)籍目錄

PrefacePart Ⅰ Analog and Mixed-Signal Systems　Introduction　1　　Refinement of Mixed-Signal Systems: Between HEAVEN and HELL　2　　Mixed Nets, Conversion Models, and VHDL-AMS　3　　Monte Carlo Simulation Using VHDL-AMS　4　　Prediction of Conducted-Mode Emission of Complex IC's　5　　Practical Case Example of Inertial MEMS Modeling with VHDL-AMSPart Ⅱ UML-Based System Specification and Design　Introduction　6　　Metamodels and MDA Transformations for Embedded Systems　7　　Model Based Testing and Refinement in MDA Based Development　8　　Predictability in Real-time System Development　9　　Timing Performances and MDA Approaches　10　　UML-Executable Functional Models in VIPERSPart Ⅲ  Introduction   11     Designing for dynamic reconfigurable FPGAs with SystemC  12    Heterogeneous System-Level Specification in SystemC  13     xHDL:Extending VHDL to Improve Core Parameterization and Reuse   14    SystemC Models for Realistic Simulations Involving Real-Time Operating System Services  15    SystemC and OCAPI-xl Based System-Level Design for RSoCsPart Ⅳ Invited Contributions　Introduction　16　　Symbolic Model Checking and Simulation with Temporal Assertions　17　　Automotive System Design and AUTOSAR

編輯推薦

《片上系統(tǒng)的設(shè)計(jì)和描述語(yǔ)言》由科學(xué)出版社有限責(zé)任公司出版。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    片上系統(tǒng)的設(shè)計(jì)和描述語(yǔ)言 PDF格式下載

---