Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. Some novel approaches to the problems of verifying design revisions after intensive sequential transformations such as retiming are described in detail. The second part of the book gives a thorough survey of previous and recent literature on design error diagnosis and design error correction. This part also provides an in-depth analysis of the algorithms used in two logic debugging software programs, ErrorTracer and AutoFix, developed by the authors. From the Foreword: `With the adoption of the static sign-off approach to verifying circuit implementations the application-specific integrated circuit (ASIC) industry will experience the first radical methodological revolution since the adoption of logic synthesis. Equivalence checking is one of the two critical elements of this methodological revolution. This book is timely for either the designer seeking to better understand the mechanics of equivalence checking or for the CAD researcher who wishes to investigate well-motivated research problems such as equivalence checking of retimed designs or error diagnosis in sequential circuits.' Kurt Keutzer, University of California, Berkeley

Software has bugs. Period. That's true, unfortunately. Even the good old "hello, world" program, known to virtually every C and C++ programmer in the world, can be considered to be buggy. Developing software means having to deal with defects; old ones, new ones, ones you created yourself and those that others brought to life. Software developers debug programs for a living. Hence, good debugging skills are a must-have. That said, I always found it regretable that debugging is hardly taught in engineering schools. Well, it is a tricky subject, and there are no good textbooks. The latter can be helped, I thought. That's how the idea for this book was born. "The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills and students that want to learn the tricks of the trade from the ground up. With small inlined examples and exercises at the end of each chapter it is well suited to accompany a CS course or lecture. At the same time it can be used as a reference used to address problems as the need arises. This book goes beyond the level of simple source code debugging scenarios. In addition, it covers the most frequent real-world problems from the areas of program linking, memory access, parallel processing and performance analysis. The picture is completed by chapters covering static checkers and techniques to write code that leans well towards debugging. While the focus lies on C and C++, the workhorses of the software industry, one can apply most principles described in "The Developer's Guide to Debugging" to programs written in other languages. The techniques are not restricted to a particular compiler, debugger or operating system. The examples are structured such that they can be reproduced with free open-source software.

Product Description: Debugging software and embedded systems is now an art and less of a science. Debugging Embedded Systems outlines a step by step methodology and process for testing and debugging hardware and software in embedded systems. This step by step hands on guide takes the reader through the tools have been developed for hardware support of debugging embedded software and new standards, such as Nexus 5001 (led by Motorola), IEEE-ISTO 5001...read more

Provides instructions on how to analyze computer programs without their source code with a debugger and a disassembler, and includes information on such topics as virtual functions, local and global variables, and objects and their hierarchy.

Offers application debugging techniques for Microsoft .NET 2.0, covering topics such as exception monitoring, crash handlers, and multithreaded deadlocks.

Product Description: Focusing on developing cross-platform shaders in OpenGL Shader Language (GLSL) using the RenderMonkey environment, this guide makes it possible to combine the producing of complex graphics effects with the convenience of using OpenGL...read more

Product Description: No es necesario ser un experto en informática para mantener actualizado el PC y para garantizar su correcto funcionamiento. Tareas como la inclusión de una unidad de DVD, la protección del ordenador contra virus y correos basura, o que el equipo trabaje con rapidez pueden ser acometidas por cualquier usuario...read more

Shows how to gain the optimum use of PC software and hardware to create the most satsifying use of the server, describing proven methods to maximize capacity as well as practical steps to aid in modifying the base board, CPU, BIOS, preferences, and operating system.

Product Description: Novell eDirectory (formerly Novell Directory Services- NDS) is employed by system administrator to define users on the network and links those same users to their access rights with corporate resources, devices like printers and security policies...read more

Product Description: Written for beginning and intermediate programmers in Java, this book is the manifestation of the idea that learners will become competent in programming much more quickly if they master debugging skills early on. KEY TOPICS Chapter topics cover an introduction, a series of examples of common syntax and semantic errors—and how they can be detected and corrected, tracing techniques, and how to use an interactive Java debugger...read more (view table of contents, read Amazon.com's description)

(view table of contents)

Incorporating the latest .NET application debugging tools, scenarios, and techniques, this practical handbook introduces a host of effective, real-world debugging techniques for Microsoft Windows applications, covering topics ranging from ASP.NET to Windows Forms and featuring a CD-ROM containing code examples in Visual C++ .NET, Visual Basic .NET, Visual C#, and more. Original. (Advanced)

Aimed at software developers, offers debugging strategies and information about .NET's debugging tools and techniques, covering topics such as program logging and assertion debugging.

Product Description: Author Eric Allen presents a methodology for diagnosing and debugging computer programs that puts emphasis on unit testing.

Product Description: Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small, simple units, and the ability of the system to self-stabilize emerges out of its components...read more