Low Power Design Essentials contains all the topics of importance to the low power designer. The book lays the foundation with background chapters entitled "Advanced MOS Transistors and Their Models" and "Power Basics." These chapters are followed by chapters on the design process including: optimization, architecture and algorithm level, memory, run time, standby logic, and standby memory. Chapters on special topics are also included: power management and modal design, ultra low power, and low power design methodology and flows. The book concludes with a chapter on case studies as well as...

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for...

Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which...

Organic Field Effect Transistors presents the state of the art in organic field effect transistors (OFETs), with a particular focus on the materials and techniques useful for making integrated circuits. The monograph begins with some general background on organic semiconductors, discusses the types of organic semiconductor materials suitable for making field effect transistors, the fabrication processes used to make integrated Circuits, and appropriate methods for measurement and modeling.

Organic Field Effect Transistors is written as a basic introduction to the subject for...