Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

SAT-Based Scalable Formal Verification Solutions

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Processor Design System-on-Chip Computing for ASICs and FPGAs

Exploring C for Microcontrollers A Hands on Approach

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Computational Intelligence for Engineering and Manufacturing

Hardware Verification with SystemVerilog An Object-Oriented Framework

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

Designing Embedded Processors A Low Power Perspective

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Real-Time Object Uniform Design Methodology with UML

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

Co-design for System Acceleration A Quantitative Approach

Design for Manufacturability and Yield for Nano-Scale CMOS

Optimized ASIP Synthesis from Architecture Description Language Models