An animated online eBook covering ohms law to digital electronics
Archive for the ‘Engineering Ebooks’ Category
Basic Electronics
Sunday, November 8th, 2009Advanced Formal Verification
Sunday, October 18th, 2009Book 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
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
Advances in Sonar Technology
Monday, September 21st, 2009Description:
From the table of contents: Simulation and 3D Reconstruction of Side-looking Sonar Images; Synthetic Aperture Techniques for Sonar Systems; Motion Compensation in High Resolution Synthetic Aperture Sonar (SAS) Images; Ensemble Averaging and Resolution Enhancement of Digital Radar and Sonar Signals; Independent Component Analysis for Passive Sonar Signal Processing; From Statistical Detection to Decision Fusion: Detection of Underwater Mines in High Resolution SAS Images; Multi-Sonar Integration and the Advent of Senor Intelligence; On the Benefits of Using Both Dual Frequency Side Scan Sonar and Optical Signatures for the Discrimination of Coral Reef Benthic Communities; Outdoor Sonar Sensing; Mobile Robot Localization using Particle Filters and Sonar Sensors.
Finite Dimensional Linear Systems
Wednesday, September 16th, 2009Description:
This book is based on a one-semester course on dynamical systems given in the Electrical Engineering Department at the Massachusetts Institute of Technology. The students have been mostly electrical engineers in their first year of graduate school. The topics covered form the core for advanced work in such fields of study as optimal control, estimation, stability, electrical networks, and the control of distributed systems.
Mobile Robotics
Wednesday, September 16th, 2009Description:
This set of lectures is about navigating mobile platforms or robots. This is a huge topic and in eight lectures we can only hope to undertake a brief survey. The course is an extension of the B4 estimation course covering topics such as linear and non-linear Kalman Filtering. The estimation part of the lectures is applicable to many areas of engineering not just mobile robotics.
Electromagnetic Waves and Antennas
Tuesday, September 15th, 2009Description:
This book provides a broad and applications-oriented introduction to electromagnetic waves and antennas. The book is organized around three main topic areas: The propagation, reflection, and transmission of plane waves, and the analysis and design of multilayer films; Waveguides, transmission lines, impedance matching, and S-parameters; Linear and aperture antennas, scalar and vector diffraction theory, antenna array design, and coupled antennas
Dynamic System Modeling and Control
Tuesday, September 15th, 2009Description:
This book introduces the basic concepts of system modeling with differential equations. The draft version includes updates made during the fall of 2004, including many corrections and clarifications.
Basic Computing Using Windows
Tuesday, September 15th, 2009Description:
The Basic Computing Using Windows book introduces the reader to a Windows PC environment. From the contents: computers and peripherals, operating systems and controls, desktop, file systems, concepts and settings, networks and the Internet, email, chat-rooms, and IM.