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

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

Optimized ASIP Synthesis from Architecture Description Language Models

Exploring C for Microcontrollers A Hands on Approach

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

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

Designing Embedded Processors A Low Power Perspective

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Cryptographic Algorithms on Reconfigurable Hardware

Ultra-Low Voltage Nano-Scale Memories

SAT-Based Scalable Formal Verification Solutions

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