Advanced Logic Synthesis

Memory-Based Logic Synthesis

Logic Circuit Design Selected Methods

Towards a Design Flow for Reversible Logic

Logic Synthesis for FSM-Based Control Units

Logic Functions and Equations Examples and Exercises

Logic Synthesis for Compositional Microprogram Control Units

Computation Engineering Applied Automata Theory and Logic

Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Design, Analysis and Test of Logic Circuits Under Uncertainty

Adiabatic Logic Future Trend and System Level Perspective

Disruptive Logic Architectures and Technologies From Device to System Level

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Introduzione al Progetto di Sistemi Digitali

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Reliable and Energy Efficient Streaming Multiprocessor Systems

Design of FPGA-Based Computing Systems with OpenCL

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Principles and Structures of FPGAs

Complex Binary Number System Algorithms and Circuits

Theory of Digital Automata

Compact Models and Measurement Techniques for High-Speed Interconnects

Entwurf integrierter 3D-Systeme der Elektronik

The Unknown Component Problem Theory and Applications

VLSI Physical Design: From Graph Partitioning to Timing Closure

Technische Informatik Band 2: Entwurf digitaler Schaltungen

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits

Speech Processing in Embedded Systems

Intelligent control systems with an introduction to system of systems engineering

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

Electronics System Design Techniques for Safety Critical Applications

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

More than Moore Creating High Value Micro/Nanoelectronics Systems

Practical Problems in VLSI Physical Design Automation

High-Level Synthesis From Algorithm to Digital Circuit

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

A Roadmap for Formal Property Verification

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Taxonomies for the Development and Verification of Digital Systems

Control Theory