包邮片上系统的设计和描述语言--国外电子信息精品著作(影印版)

preface
part ⅰ 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-ams
part ⅱ 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 vipers
part ⅲ
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 rsocs
part ⅳ invited contributions
　introduction
　16
　　symbolic model checking and simulation with temporal assertions
　17
　　automotive system design and autosar