Learn IT - Books tags verification

Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

Springer, 2012

As VLSI technology scales into nanometer regime, chip design engineering faces several challenges. One profound change in the chip design business is that engineers cannot realize the design precisely into the silicon chips. Chip performance, manufacture yield, and lifetime thereby cannot be determined accurately at the design...

Networks-on-Chips: Theory and Practice (Embedded Multi-core Systems)

CRC Press, 2009

This book addresses many challenging topics related to the NoC research area. It starts by studying 3D NoC architectures and progresses to a discussion of NoC resource allocation, processor traffic modeling, and formal verification. NoC protocols are examined at different layers of abstraction. Also, several emerging research issues in NoC...

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands

Springer, 2010

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27–29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010)...

EDA for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Hdbk)

CRC Press, 2006

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly...

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer, 2012

This book should be the fi rst one you read to learn the SystemVerilog verifi cation language constructs. It describes how the language works and includes many examples on how to build a basic coverage-driven, constrained-random, layered testbench using Object-Oriented Programming (OOP). The book has many guidelines on building...

Biometrics: Identity Verification in a Networked World

John Wiley & Sons, 2002

An in-depth look at biometrics, focused on critical issues such as accuracy, privacy, technology capabilities, and cost-effective deployment

No longer a science fiction solution, biometric technologies are being deployed by thousands of companies and public agencies to increase security, protect personal information, and reduce...

Verification of Computer Codes in Computational Science and Engineering

CRC Press, 2002

How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one...

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

IOS Press, 2006

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding,...

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006

Springer, 2007

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.

The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical...

Systems and Software Verification: Model-Checking Techniques and Tools

Springer, 2001

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Springer, 2014

This book is structured as a step-by-step course of study along the lines of a VLSI integrated circuit design project. The entire Verilog language is presented, from the basics to everything necessary for synthesis of an entire 70,000 transistor, full-duplex serializer-deserializer, including synthesizable PLLs. The author includes...

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010

Springer, 2010

These proceedings contain the papers presented at the 8th Internationl Symposium on Automated Technology for Verification and Analysis held during September 21–24, 2010 in Singapore. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art research on...

Result Page: 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1