Formal Specification Level Concepts, Methods, and Algorithms

Protecting Chips Against Hold Time Violations Due to Variability

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems

The Boundary-Scan Handbook

Fundamentals of Electronic Systems Design

New Data Structures and Algorithms for Logic Synthesis and Verification

Exploring Memory Hierarchy Design with Emerging Memory Technologies

Reliable and Energy Efficient Streaming Multiprocessor Systems

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Trace-Based Post-Silicon Validation for VLSI Circuits

Introduction to Logic Circuits & Logic Design with Verilog

Testing of Interposer-Based 2.5D Integrated Circuits