Book Description
Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottleneck in design flows, i.e. up to 80% of the overall design costs are due to verification. This is one of the reasons why several methods have been proposed as alternatives to classical simulation. Simulation alone cannot guarantee sufficient coverage of the design resulting in bugs that may remain undetected.
As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by formal techniques. There are different areas where these approaches can be used: equivalence checking, property checking or symbolic simulation. These methods have been successfully applied in many industrial projects and have become the state-of-the-art technique in several fields. However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques. This gave motivating impulses for tool developers and researchers.
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
In this book the state-of-the-art in many important fields of formal verification are described. Besides the description of the most recent research results, open problems and challenging research areas are addressed. Because of this, the book is intended for CAD developers and researchers in the verification domain, where formal techniques become a core technology to successful circuit and system design. Furthermore, the book is an excellent reference for users of verification tools in order to acquire a better understanding of the internal principles and subsequently drive the tools to the highest performance. In this context the book is dedicated to those in industry and academia to stay informed about the most recent developments in the field of formal verification.
Download link
Archive for October, 2009
Advanced Formal Verification
Sunday, October 18th, 2009Computational Nanoscience: Do It Yourself
Saturday, October 17th, 2009This volume focuses on the application of modern electronic structure calculations and dynamical simulation techniques covering aspects of solid state physics, surface and nanoscience, chemical reactions and dynamics, magnetism and electron transport as well as the structure and properties of large molecules and clusters.
Computational Thermodynamics
Wednesday, October 14th, 2009The book develops a new computational foundation of thermodynamics based on deterministic finite precision computation without resort to statistics. In particular a new 2nd Law without the concept of entropy is proved to be a consequence of the 1st Law and finite precision computation.
Download link
Computational Turbulent Incompressible Flow
Wednesday, October 14th, 2009In this book we address mathematical modeling of turbulent fluid flow, and its many mysteries that have haunted scientist over the centuries; such as the dAlembert mystery of drag in an inviscid flow, the Sommerfeld mystery of transition to turbulence in shear flow, and the Loschmidt mystery of violation of the 2nd law of thermodynamics.
Download link
Coal Pyrolysis
Tuesday, October 13th, 2009This monograph was written to organize recent results of pyrolysis research. Experimental and theoretical aspects, given approximately equal weight, are discussed in the light of basic chemical and physical mechanisms. With this orientation the monograph should be useful to chemists, engineers and graduate students with interests in coal research.
Computer Vision
Saturday, October 10th, 2009This book presents research trends on computer vision, especially on application of robotics, and on advanced approaches for computer vision (such as omnidirectional vision). Among them, research on RFID technology integrating stereo vision to localize an indoor mobile robot is included in this book
Download link
Cavitation and Bubble Dynamics
Wednesday, October 7th, 2009Description:
This book provides a coherent and unified treatment of the fundamental physical processes involved in bubble dynamics and the phenomenon of cavitation. Of interest to a wide range of mechanical engineers, the study of cavitation and bubbly flows is applicable to topics ranging from valve damage in hydroelectric equipment, ship propellers, and internal combustion engines to the performance of turbines and pumps of all sizes. Well-written and up-to-date, the book will prove indispensable to engineers and students needing a reference detailing the problems of cavitation and bubbly flow.
Download link
Broadband Direct-Coupled and Matching RF Networks
Tuesday, October 6th, 2009This practical guide is for engineers and technicians who design RF networks that filter and match impedances over wide bands or match at a just one frequency. The networks may consist of L’s, C’s, open- and short-circuited stubs and cascade transmission lines, and transformers. New techniques are described clearly and at a level between seminars and graduate-level instruction.
Download link
Details for Conventional Wood Frame Construction
Thursday, October 1st, 2009Description:
A comprehensive summary of rules and guidelines for the proper construction of wood frame buildings built to conventional construction provisions in the model building codes. The book includes information on various types of construction, framing systems, fire and draftstopping, protection against termites and decay, fastenings, insulation, and materials, as well as a series of figures included to illustrate proper framing techniques.
Download link