Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Designing Reliable and Efficient Networks on Chips

Embedded System Design Modeling, Synthesis and Verification

Open Verification Methodology Cookbook

Whole system design : an integrated approach to sustainable engineering

Electromagnetic Field Computation by Network Methods

Novel Algorithms for Fast Statistical Analysis of Scaled Circuits

Inductive Powering Basic Theory and Application to Biomedical Systems

A practical guide to SysML Systems Model Language

Networked Sensing Information and Control

Creating Assertion-Based IP

Design of High Voltage xDSL Line Drivers in Standard CMOS

High-Level Modeling and Synthesis of Analog Integrated Systems

Functional Verification Coverage Measurement and Analysis

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

Nanometer CMOS ICs From basics to ASICs

CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies Process-Aware SRAM Design and Test

Practical Aspects of Embedded System Design using Microcontrollers

New Methods of Concurrent Checking

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute

Ingredients for Successful System Level Design Methodology

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

High-Level Synthesis From Algorithm to Digital Circuit

The NeuroProcessor An Integrated Interface to Biological Neural Networks

SysML for Systems Engineering

Einführung in die Halbleiter-Schaltungstechnik

Memories in Wireless Systems

Nanometer Technology Designs High-Quality Delay Tests

Adaptive Techniques for Dynamic Processor Optimization Theory and Practice

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

CMOS Active Inductors and Transformers Principle, Implementation, and Applications

System Verilog for Verification A Guide to Learning the Testbench Language Features

Digitaltechnik — Eine praxisnahe Einführung

Adaptive Filtering Algorithms and Practical Implementation

Analog Integrated Circuits for Communication Principles, Simulation and Design

Design for Manufacturability and Statistical Design A Constructive Approach

Power Distribution Networks with On-Chip Decoupling Capacitors

Standardized Functional Verification

Rapid Prototyping of Digital Systems

Emerging Nanotechnologies Test, Defect Tolerance, and Reliability

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date

Fine- and Coarse-Grain Reconfigurable Computing

Robustness and Usability in Modern Design Flows

Practical Problems in VLSI Physical Design Automation

Circuit and Interconnect Design for RF and High Bit-Rate Applications

RF Imperfections in High-rate Wireless Systems Impact and Digital Compensation

Systems engineering with SysML/UML modeling, analysis, design

CMOS Current-Mode Circuits for Data Communications

Modern Circuit Placement Best Practices and Results

Ultra-Low Voltage Nano-Scale Memories

CMOS Biotechnology

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

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

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

Co-design for System Acceleration A Quantitative Approach

Optimized ASIP Synthesis from Architecture Description Language Models

Übungsaufgaben zur Halbleiter-Schaltungstechnik

Cryptographic Algorithms on Reconfigurable Hardware

Design for Manufacturability and Yield for Nano-Scale CMOS

WI-FI TM, BLUETOOTH TM, ZIGBEE TM AND WIMAX TM

Computational Intelligence for Engineering and Manufacturing

Routing Congestion in VLSI Circuits: Estimation and Optimization

Adaptive Nonlinear System Identification The Volterra and Wiener Model Approaches

Low Power Methodology Manual For System-on-Chip Design

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

Metric- Driven Design Verification An Engineer's and Executive's Guide to First Pass Success

Inverse Problems in Electric Circuits and Electromagnetics

Physical Design Essentials An ASIC Design Implementation Perspective

Dynamics of Microelectromechanical Systems

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

SAT-Based Scalable Formal Verification Solutions

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them

Hardware Verification with SystemVerilog An Object-Oriented Framework

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

Real-Time Object Uniform Design Methodology with UML

Exploring C for Microcontrollers A Hands on Approach

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Full-Chip Nanometer Routing Techniques

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

Switched-Capacitor Techniques For High-Accuracy Filter And ADC Design

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