Learn IT - Books tags verification

Hardware Design Verification : Simulation and Formal Method-Based Approaches

Prentice Hall, 2005

The Practical, Start-to-Finish Guide to Modern Digital Design Verification

As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success,...

CCNP SWITCH 642-813 Official Certification Guide (Exam Certification Guide)

Cisco Press, 2010

CCNP SWITCH 642-813 Official Certification Guide

is a best-of-breed Cisco® exam study guide that focuses specifically on the objectives for the CCNP® SWITCH exam. Network architect and best-selling author Dave Hucaby shares preparation hints and test-taking tips, helping you identify areas of weakness and improve both your...

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

Springer, 2012

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, I.F.M. 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods,...

Digital Systems Design with FPGAs and CPLDs

Newnes, 2008

If you are just starting in the field of digital system design with programmable logic, this book is all you will need!

Programmable logic has made it possible to create digital systems that are malleable allowing for updates, changes, and enhancements on the same chip making digital systems cost effective and quickly...

Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)

Morgan Kaufmann, 2009

This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an "adjacent" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, verification, and test of VLSI circuits....

Executable Specifications with Scrum: A Practical Guide to Agile Requirements Discovery

Addison Wesley, 2013

Most books about specifications still assume that requirements can be known up front and won’t change much during your project. In today’s “real world,” however, you must specify and build software in the face of high and continuing uncertainty. Scrum and other agile methods have evolved to reflect this reality. Now,...

Engineering the CMOS Library: Enhancing Digital Design Kits for Competitive Silicon

John Wiley & Sons, 2012

Shows readers how to gain the competitive edge in the integrated circuit marketplace

This book offers a wholly unique perspective on the digital design kit. It points to hidden value in the safety margins of standard-cell libraries and shows design engineers and managers how to use this knowledge to beat the competition.

...

Collaborative Computing: Networking, Applications and Worksharing: 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December ... and Telecommunications Engineering)

Springer, 2019

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2018, held in Shanghai, China, in December 2018. The 43 full and 19 short papers presented were carefully reviewed and selected from 106 submissions. The...

Visual Object Recognition (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2011

This lecture summarizes the material in a tutorial we gave at AAAI2008 [Grauman and Leibe, 2008]1. Our goal is to overview the types of methods that figure most prominently in object recognition research today, in order to give a survey of the concepts, algorithms, and representations that one might use to build a...

Codecharts: Roadmaps and blueprints for object-oriented programs

John Wiley & Sons, 2011

In this book we set out to investigate some of the most difficult problems that software engineering faces. Although a young discipline, it nonetheless faces the most difficult challenges, as software is the most complex artefact ever crafted by humankind. As such, many of the problems can be traced to inadequate abstraction....

Understanding Microelectronics: A Top-Down Approach

John Wiley & Sons, 2011

The microelectronics evolution has given rise to many modern benefits but has also changed design methods and attitudes to learning. Technology advancements shifted focus from simple circuits to complex systems with major attention to high-level descriptions. The design methods moved from a bottom-up to a top-down approach.

For...

Linux (Hacking Exposed)

McGraw-Hill, 2001

From the publisher who brought you the international best-seller, Hacking Exposed: Network Security Secrets & Solutions...

Learn how to think like a hacker in order to secure your Linux network

In the ever-changing world of global data communications, inexpensive Internet connections, and fast-paced software...

Result Page: 11 10 9 8 7 6 5 4 3 2 1