Skip to main content

Morgan Kaufmann

Verification Techniques for System-Level Design
1st Edition
Masahiro Fujita + 2 more
English
This book will explain how to verify SoC (Systems on Chip) logic designs using “formal” and “semiformal” verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in “functional” verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.
Computer Animation
Algorithms and Techniques
2nd Edition
Rick Parent
English
Driven by the demands of research and the entertainment industry, the techniques of animation are pushed to render increasingly complex objects with ever-greater life-like appearance and motion. This rapid progression of knowledge and technique impacts professional developers, as well as students. Developers must maintain their understanding of conceptual foundations, while their animation tools become ever more complex and specialized. The second edition of Rick Parent's Computer Animation is an excellent resource for the designers who must meet this challenge. The first edition established its reputation as the best technically oriented animation text. This new edition focuses on the many recent developments in animation technology, including fluid animation, human figure animation, and soft body animation. The new edition revises and expands coverage of topics such as quaternions, natural phenomenon, facial animation, and inverse kinematics. The book includes up-to-date discussions of Maya scripting and the Maya C++ API, programming on real-time 3D graphics hardware, collision detection, motion capture, and motion capture data processing.
Business Metadata: Capturing Enterprise Knowledge
1st Edition
W.H. Inmon + 2 more
English
Business Metadata: Capturing Enterprise Knowledge is the first book that helps businesses capture corporate (human) knowledge and unstructured data, and offer solutions for codifying it for use in IT and management. Written by Bill Inmon, one of the fathers of the data warehouse and well-known author, the book is filled with war stories, examples, and cases from current projects. It includes a complete metadata acquisition methodology and project plan to guide readers every step of the way, and sample unstructured metadata for use in self-testing and developing skills. This book is recommended for IT professionals, including those in consulting, working on systems that will deliver better knowledge management capability. This includes people in these positions: data architects, data analysts, SOA architects, metadata analysts, repository (metadata data warehouse) managers as well as vendors that have a metadata component as part of their systems or tools.
Ultimate SOS CD Library Season 2
Morgan Kaufmann Systems on Silicon
1st Edition
English
The Morgan Kaufmann book series in "Systems in Silicon" offers state-of-the-art resources by leading experts in design languages, design methodology, design automation, manufacture and test. This second compilation brings together four of the most important authors in the world of computer design today: Ienne, De Micheli, Wang, and Leibson.
Memory Systems
Cache, DRAM, Disk
1st Edition
Bruce Jacob + 2 more
English
Is your memory hierarchy stopping your microprocessor from performing at the high level it should be? Memory Systems: Cache, DRAM, Disk shows you how to resolve this problem. The book tells you everything you need to know about the logical design and operation, physical design and operation, performance characteristics and resulting design trade-offs, and the energy consumption of modern memory hierarchies. You learn how to to tackle the challenging optimization problems that result from the side-effects that can appear at any point in the entire hierarchy.As a result you will be able to design and emulate the entire memory hierarchy.
Digital Design (Verilog)
An Embedded Systems Approach Using Verilog
1st Edition
Peter J. Ashenden
English
Digital Design: An Embedded Systems Approach Using Verilog provides a foundation in digital design for students in computer engineering, electrical engineering and computer science courses. It takes an up-to-date and modern approach of presenting digital logic design as an activity in a larger systems design context. Rather than focus on aspects of digital design that have little relevance in a realistic design context, this book concentrates on modern and evolving knowledge and design skills. Hardware description language (HDL)-based design and verification is emphasized--Verilog examples are used extensively throughout. By treating digital logic as part of embedded systems design, this book provides an understanding of the hardware needed in the analysis and design of systems comprising both hardware and software components. Includes a Web site with links to vendor tools, labs and tutorials.
Digital Design (VHDL)
An Embedded Systems Approach Using VHDL
1st Edition
Peter J. Ashenden
English
Digital Design: An Embedded Systems Approach Using VHDL provides a foundation in digital design for students in computer engineering, electrical engineering and computer science courses. It takes an up-to-date and modern approach of presenting digital logic design as an activity in a larger systems design context. Rather than focus on aspects of digital design that have little relevance in a realistic design context, this book concentrates on modern and evolving knowledge and design skills. Hardware description language (HDL)-based design and verification is emphasized--VHDL examples are used extensively throughout. By treating digital logic as part of embedded systems design, this book provides an understanding of the hardware needed in the analysis and design of systems comprising both hardware and software components. Includes a Web site with links to vendor tools, labs and tutorials.
GUI Bloopers 2.0
Common User Interface Design Don'ts and Dos
2nd Edition
Jeff Johnson
English
GUI Bloopers 2.0, Second Edition, is the completely updated and revised version of GUI Bloopers. It looks at user interface design bloopers from commercial software, Web sites, Web applications, and information appliances, explaining how intelligent, well-intentioned professionals make these mistakes – and how you can avoid them. GUI expert Jeff Johnson presents the reality of interface design in an entertaining, anecdotal, and instructive way while equipping readers with the minimum of theory. This updated version reflects the bloopers that are common today, incorporating many comments and suggestions from first edition readers. It covers bloopers in a wide range of categories including GUI controls, graphic design and layout, text messages, interaction strategies, Web site design – including search, link, and navigation, responsiveness issues, and management decision-making. Organized and formatted so information needed is quickly found, the new edition features call-outs for the examples and informative captions to enhance quick knowledge building. This book is recommended for software engineers, web designers, web application developers, and interaction designers working on all kinds of products.
Aspect-Oriented Programming with the e Verification Language
A Pragmatic Guide for Testbench Developers
1st Edition
Volume .
David Robinson
English
What’s this AOP thing anyway, really—when you get right down to it—and can someone please explain what an aspect actually is?Aspect-Oriented Programming with the e Verification Language takes a pragmatic, example based, and fun approach to unraveling the mysteries of AOP. In this book, you’ll learn how to:• Use AOP to organize your code in a way that makes it easy to deal with the things you really care about in your verification environments. Forget about organizing by classes, and start organizing by functionality, layers, components, protocols, functional coverage, checking, or anything that you decide is important to you• Easily create flexible code that eases your development burden, and gives your users the power to quickly do what they need to do with your code• Truly create a plug-and-play environment that allows you to add and remove functionality without modifying your code. Examples include how to use AOP to create pluggable debug modules, and a pluggable module that lets you check that your testbench is still working before you begin a regression• Utilize AOP to sidestep those productivity roadblocks that seem to plague all projects at the most inconvenient of times• Discover why “return” is evil, and some other “gotchas” with the AOP features of eAll of the methodologies, tips, and techniques described in this book have been developed and tested on real projects, with real people, real schedules and all of the associated problems that come with these. Only the ones that worked, and worked well, have made it in, so by following the advice given in this book, you’ll gain access to the true power of AOP while neatly avoiding the effort of working it all out yourself.
Computational Intelligence
Concepts to Implementations
1st Edition
Russell C. Eberhart + 1 more
English
Computational Intelligence: Concepts to Implementations provides the most complete and practical coverage of computational intelligence tools and techniques to date. This book integrates various natural and engineering disciplines to establish Computational Intelligence. This is the first comprehensive textbook on the subject, supported with lots of practical examples. It asserts that computational intelligence rests on a foundation of evolutionary computation. This refreshing view has set the book apart from other books on computational intelligence. This book lays emphasis on practical applications and computational tools, which are very useful and important for further development of the computational intelligence field. Focusing on evolutionary computation, neural networks, and fuzzy logic, the authors have constructed an approach to thinking about and working with computational intelligence that has, in their extensive experience, proved highly effective. The book moves clearly and efficiently from concepts and paradigms to algorithms and implementation techniques by focusing, in the early chapters, on the specific con. It explores a number of key themes, including self-organization, complex adaptive systems, and emergent computation. It details the metrics and analytical tools needed to assess the performance of computational intelligence tools. The book concludes with a series of case studies that illustrate a wide range of successful applications. This book will appeal to professional and academic researchers in computational intelligence applications, tool development, and systems.

Browse by Publisher