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
(online html)
Posts Tagged ‘digital’
Advanced Formal Verification
Sunday, October 18th, 2009Digital Filter
Saturday, August 15th, 2009In signal processing, the function of a filter is to remove unwanted parts of the signal, such as random noise, or to extract useful parts of the signal, such as the components lying within a certain frequency range
Download file 1
Download file 2
Fully Digital implemented Delta-Sigma Analog to Digital Converter
Monday, August 10th, 2009One of the most challenging tasks in Analog to Digital Converter (ADC) design is to adapt the cicuitry to ever new CMOS process technology. For digital circuits the number of gates per square mm app. doubles per chip generation. Integration of analog parts in newer deep submicron technologies is much more tough and additionally complicated because the usable voltage ranges are decreasing with every new integration step.
Download
Designing Analog Chips
Monday, August 10th, 2009Number of pages: 242
Description:A comprehensive introduction to CMOS and bipolar analog IC design. The book presumes no prior knowledge of linear design, making it comprehensible to engineers with a non-analog background. The emphasis is on practical design, covering the entire field with hundreds of examples to explain the choices. Concepts are presented following the history of their discovery.
Home page url
Download or read it online here:
Download link
Simulink / Matlab Tutorial – Low Pass Filter
Thursday, July 30th, 2009objective
.Ideal low pass filter
.Simple RCow pass filter
.Simulink Demonstration
.Matlab Demonstration
-transfer function
-bode(system magnitude & phase plots -f,w)
watch