You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation process...
Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and hopefully it will open you up to a slightly more out-of-the-box way of thinking. Did you know that sometimes 2+2 equals 5? That wheels don't always have to be round? That you can mathematically prove there is a hippopotamus in your basement? Or how to spot four-dimensional beings as they pass through your k...
Based on his firsthand experiences and those of his fellow Cuban citizens, Nelson exposes the network of lies at the center of Cuban Communism. He discusses the many promises of the Communist government and shows how each one was either an intentional falsehood or a gross distortion of actual reality. Areas he analyzes include press freedom, education, healthcare, and the unrelenting day-to-day struggle for survival and sustenance. In a new appendix in this English edition, he also discusses some more details of his own life in Cuba, and the specific events that led to his prison term, his role in founding Cuban libertarian groups, and his eventual need to flee the country.
Grid Resource Management: State of the Art and Future Trends presents an overview of the state of the field and describes both the real experiences and the current research available today. Grid computing is a rapidly developing and changing field, involving the shared and coordinated use of dynamic, multi-institutional resources. Grid resource management is the process of identifying requirements, matching resources to applications, allocating those resources, and scheduling and monitoring Grid resources over time in order to run Grid applications as efficiently as possible. While Grids have become almost commonplace, the use of good Grid resource management tools is far from ubiquitous bec...
Annotation The fourth edition of this guide focuses on information architecture as a set of tools and techniques for dealing with today's tough information organization problems. It's ideal for anyone involved in any aspect of design. The universal and timeless principles of information organization described in the book's first three editions still apply in our increasingly mobile world. In the fourth edition, the authors cast those principles in the context of current practice, using many updated examples and illustrations.
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
The post-Ajaxian Web 2.0 world of wikis, folksonomies, and mashups makes well-planned information architecture even more essential. How do you present large volumes of information to people who need to find what they're looking for quickly? This classic primer shows information architects, designers, and web site developers how to build large-scale and maintainable web sites that are appealing and easy to navigate. The new edition is thoroughly updated to address emerging technologies -- with recent examples, new scenarios, and information on best practices -- while maintaining its focus on fundamentals. With topics that range from aesthetics to mechanics, Information Architecture for the Wo...
An extensively revised edition of a mathematically rigorous yet accessible introduction to algorithms.
"I enjoyed reading this book immensely. The author was uncommonly careful in his explanations. I'd recommend this book to anyone writing scientific application codes." -Peter S. Pacheco, University of San Francisco "This text provides a useful overview of an area that is currently not addressed in any book. The presentation of parallel I/O issues across all levels of abstraction is this book's greatest strength." -Alan Sussman, University of Maryland Scientific and technical programmers can no longer afford to treat I/O as an afterthought. The speed, memory size, and disk capacity of parallel computers continue to grow rapidly, but the rate at which disk drives can read and write data is imp...
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides detailed descriptions of all the language features of SVA, accompanied by step-by-step examples of how to employ them to construct powerful and reusable sets of properties. The book also shows how SVA fits into the broader System Verilog language, demonstrating the ways that assertions can interact with other System Verilog components. The reader new to hardware verification will benefit from gene...