Yep, here is a list of what is in my digital library and I dun have much time to deal with........
Analog Behavioral Modeling with the Verilog-A Language(文字版)
Constraint-Based Verification
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices
Effective Functional Verification
Embedded System Design
Fine- and Coarse-Grain Reconfigurable Computing
Global Specification and Validation of Embedded Systems
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
Innovative Algorithms and Techniques in Automation,Industrial Electronics & Telecommunications
Introduction to Reconfigurable Computing
Next Generation Design & Verification Methodologies for Distributed Embedded Control Systems
Physical Design Essentials - An ASIC Design Implementation Perspective
Platform Based Design at the Electronic System Level
Scalable Hardware Verification with Symbolic Simulation
System Level Design of Reconfigurable Systems-on-Chip