大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 verification 的图书(共127本)

Functional Verification Coverage Measurement and Analysis [electronic resource]

0
索取号：
作者：Piziali、 Andrew.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

Object-Based Image Analysis and Treaty Verification [electronic resource] : New Approaches in Remote Sensing 鈥pplied to Nuclear Facilities in Iran

0
索取号：
作者：Nussbaum、 Sven.、Menz、 Gunter.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [electronic resource] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

0
索取号：
作者：Ramesh、 S.、Sampath、 Prahladavaradan.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2007.

A Roadmap for Formal Property Verification [electronic resource]

0
索取号：
作者：DasGupta、 Pallab.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Analog Circuit Design [electronic resource] : RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage

0
索取号：
作者：Steyaert、 Michiel.、Huijsing、 Johan H.、van Roermund、 Arthur H.M.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Rigorous Software Development [electronic resource] : An Introduction to Program Verification

0
索取号：
作者：Almeida、 Jos茅 Bacelar.、Frade、 Maria Jo茫o.、Pinto、 Jorge Sousa.、Melo de Sousa、 Sim茫o.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

System Verilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features

0
索取号：
作者：Spear、 Chris.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework

0
索取号：
作者：Mintz、 Mike.、Ekendahl、 Robert.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Standardized Functional Verification [electronic resource]

0
索取号：
作者：Wiemann、 Alan.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

SAT-Based Scalable Formal Verification Solutions [electronic resource]

0
索取号：
作者：Ganai、 Malay K.、Gupta、 Aarti.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach

0
索取号：
作者：Fisher、 Marcus S.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Metric- Driven Design Verification [electronic resource] : An Engineer's and Executive's Guide to First Pass Success

0
索取号：
作者：Carter、 Hamilton B.、Hemmady、 Shankar.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Hardware Verification with C++ [electronic resource] : A Practitioner鈥檚 Handbook

0
索取号：
作者：Mintz、 Mike.、Ekendahl、 Robert.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Effective Functional Verification [electronic resource] : Principles and Processes

0
索取号：
作者：Vasudevan、 Srivatsa.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Constraint-Based Verification [electronic resource]

0
索取号：
作者：Yuan、 Jun.、Pixley、 Carl.、Aziz、 Adnan.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Scalable Hardware Verification with Symbolic Simulation [electronic resource]

0
索取号：
作者：Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.