Verification_图书大全

Applied Formal Verification

ISBN：9780071443722

Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of ...

Applied Formal Verification

Verification Methodology Manual for SystemVerilog

ISBN：9780387255385

Functional verification remains one of the single biggest challenges in the development of complex ...

Verification Methodology Manual for SystemVerilog

SystemVerilog for Verification

ISBN：9780387270364

SystemVerilog for Verification teaches the reader how to use the power of the new SystemVerilog tes...

SystemVerilog for Verification

Functional Verification of Programmable Embedded Architectures

ISBN：9780387261430

Validation of programmable architectures, consisting of processor cores, coprocessors, and memory s...

Functional Verification of Programmable Embedded Architectures

Writing Testbenches - Functional Verification of HDL Models

ISBN：9780792377665

Writing Testbenches: Functional Verification of HDL Models first introduces the necessary concepts...

Writing Testbenches Functional Verification of HDL Models

Hardware Verification with C++

ISBN：9780387255439

Written by two verification engineers, Hardware Verification with C++: A Practitioner’...

Hardware Verification with C++

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

ISBN：9783540428077

在线阅读本书 This book constitutes the thoroughly refereed post-proceedings of the...

Interactive Systems Design Specification and Verification 8 th International Workshop DSV IS 2001 Glasgow Scotland UK June 13 15 2001 Revised Papers

Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes

ISBN：9780792377887

Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes i...

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes

Computer Aided Verification

ISBN：9783540423454

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aid...

Computer Aided Verification

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

ISBN：9783540416630

在线阅读本书 This book constitutes the thoroughly refereed post-proceedings of the 7th Inter...

Interactive Systems Design Specification and Verification 7 th International Workshop DSV IS 2000 Limerick Ireland June 5 6 2000 Revised Papers

Modular Specification and Verification of Object-Oriented Programs

ISBN：9783540431671

在线阅读本书 This book presents new techniques for the formal specification and verification...

Modular Specification and Verification of Object Oriented Programs

Modeling and Verification of Parallel Processes

ISBN：9783540427872

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant contr...

Modeling and Verification of Parallel Processes

System-on-a-Chip Verification - Methodology and Techniques

ISBN：9780792372790

System-On-a-Chip Verification: Methodology and Techniques is the first book to cover verification ...

System on a Chip Verification Methodology and Techniques

Correct Hardware Design and Verification Methods 正确的硬件设计与验证法

ISBN：9783540203636

...

Correct Hardware Design and Verification Methods 正确的硬件设计与验证法

Correct Hardware Design and Verification Methods正确的硬件设计与验证法/会议录

ISBN：9783540291053

...

Correct Hardware Design and Verification Methods 正确的硬件设计与验证法会议录

Computer Aided Verification

ISBN：9783540272311

...

Computer Aided Verification

Computer Aided Verification 计算机辅助验证

ISBN：9783540374060

...

Computer Aided Verification 计算机辅助验证

Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录

ISBN：9783540242970

...

Verification Model Checking and Abstract Interpretation 验证模型检验与抽象解释会议录

2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis

ISBN：9783540292098

...

2004年第 2 届国际验证与分析的自动化技术会议录 Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis2004年第2届国际验证与分析的自动化技术会议录

ISBN：9783540292098

This book constitutes the refereed proceedings of the Third International Conference on Automated T...

Automated Technology for Verification and Analysis 2004年第 2 届国际验证与分析的自动化技术会议录

计算机辅助验证 Computer aided verification

ISBN：9783540439974

在线阅读本书 This book constitutes the refereed proceedings of the 14th International Co...

计算机辅助验证 Computer aided verification

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

ISBN：9783540311393

...

Verification Model Checking and Abstract Interpretation 7 th International Conference VMCAI 2006 Charleston SC USA January 8 10 2006 Proceedings

验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio

ISBN：9783540436317

...

验证模型检验与抽象解读 Verification model checking and abstract interpretatio

验证与分析的自动化技术 Automated technology for verification and analysis

ISBN：9783540472377

...

验证与分析的自动化技术 Automated technology for verification and analysis

Verification of Reactive Systems

ISBN：9783540002963

Reactive systems are becoming more and more important for essentially all areas of technical and pr...

Verification of Reactive Systems

A Roadmap for Formal Property Verification

ISBN：9781402047572

...

A Roadmap for Formal Property Verification

Interactive Systems Design, Specification, and Verification

ISBN：9783540695530

...

Interactive Systems Design Specification and Verification

Guidance for the Verification and Validation of Neural Networks

ISBN：9780470084571

This book provides guidance on the verification and validation of neural networks/adaptive systems....

Guidance for the Verification and Validation of Neural Networks

Advances in Verification of Time Petri Nets and Timed Automata

ISBN：9783540328698

...

Advances in Verification of Time Petri Nets and Timed Automata

Sat-based Scalable Formal Verification Solutions

ISBN：9780387691664

This book provides an engineering insight into how to provide a scalable and robust verification so...

Sat based Scalable Formal Verification Solutions

Aspect-Oriented Programming with the e Verification Language

ISBN：9780123742100

What's this AOP thing anyway, really-when you get right down to it-and can someone please explain w...

Aspect Oriented Programming with the e Verification Language

Comprehensive Functional Verification

ISBN：9780127518039

One of the biggest challenges in chip and system design is determining whether the hardware works c...

Comprehensive Functional Verification

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

ISBN：9780387282886

Neural networks are members of a class of software that have the potential to enable intelligent co...

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Software Verification and Validation

ISBN：9780387327259

This book fills the critical need for an in-depth technical reference providing the methods and tec...

Software Verification and Validation

Systems and Software Verification

ISBN：9783540415237

...

Systems and Software Verification

Verification and Validation for Quality of UML 2.0 Models

ISBN：9780471727835

A practical approach to enhancing quality in software models using UML Version 2.0 "Desp...

Verification and Validation for Quality of UML 2.0 Models

Verification， Validation And Testing in Software Engineering

ISBN：9781591408529

...

Verification Validation And Testing in Software Engineering

2006 Access to Human Capital and Employment Verification Report

ISBN：9781586440817

Examining current issues in immigrant hiring, this report explores policies and procedures human re...

2006 Access to Human Capital and Employment Verification Report

Analytical Method Validation and Instrument Performance Verification

ISBN：9780471259534

Validation describes the procedures used to analyze pharmaceutical products so that the data genera...

Analytical Method Validation and Instrument Performance Verification

Model Verification And Validation In Engineering Mechanics

ISBN：9780470859346

...

Model Verification And Validation In Engineering Mechanics

Temporal Verification of Reactive Systems

ISBN：9780387944593

This book presents an extensive verification methodology for proving that reactive systems meet the...

Temporal Verification of Reactive Systems

Monitoring and Verification of Bioremediation

ISBN：9781574770063

...

Monitoring and Verification of Bioremediation

Standardized Functional Verification

ISBN：9780387717326

The Integrated Circuit (IC) industry has gone without a standardized verification approach for deca...

Standardized Functional Verification

Metric-Driven Design Verification

ISBN：9780387381510

The purpose of the book is to train verification engineers on the breadth of technologies available...

Metric Driven Design Verification

System Verification

ISBN：9780123740144

Systems Engineering - an interdisciplinary, multi-stage-driven approach to the design and implement...

System Verification

Effective Functional Verification

ISBN：9780387286013

Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters des...

Effective Functional Verification

System Verilog Functional Verification

ISBN：9780071489041

...

System Verilog Functional Verification

Formal Verification of Circuits

ISBN：9780792378587

Formal verification has become one of the most important steps in circuit design. Since circuits c...

Formal Verification of Circuits

Logic Synthesis and Verification Algorithms

ISBN：9780387310046

This book blends mathematical foundations and algorithmic developments with circuit design issues. ...

Logic Synthesis and Verification Algorithms

ESL Design and Verification

ISBN：9780123735515

在线阅读本书 Visit the authors' companion site! http://www.electronicsystemlevel.com/ - Inclu...

ESL Design and Verification