Alibris: Verification

AUDIOBOOKS | NEW BOOKS OF NOTE | BARGAIN BOOKS | Find a seller

» advanced search

Save on a few of their favorite things: Give bargain books

Get your gifts by December 24: Learn how

browse BOOKS

Page 1 of 12

sort by

1	Systemverilog for Verification: A Guide to Learning the Testbench Language Features more books like this by Chris Spear add to wishlist "SystemVerilog for Verification, Second Edition" provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing test benches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a ... see all copies from $63.06! new only from $63.06! \| SVS
2	Verification of Sequential and Concurrent Programs more books like this by Krzysztof R Apt add to wishlist Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program ... see all copies from $44.00! new only from $44.00! \| SVS
3	Writing Testbenches: Functional Verification of HDL Models more books like this by Janick Bergeron add to wishlist The second edition of "Writing Testbenches, Functional Verification of HDL Models" presents the latest verification techniques to produce fully functional first silicon ASICs, systems-on-a-chip (SoC), boards and entire systems. From the Foreword: Building on the first edition, '...the most successful and popular contemporary verification textbook' ... see all copies from $16.19! new only from $41.36! \| first editions \| SVS
4	Writing Testbenches Using Systemverilog more books like this by Janick Bergeron add to wishlist Verification is too often approached in an ad hoc fashion. Visually inspecting simulation results is no longer feasible and the directed test-case methodology is reaching its limit. Moore's Law demands a productivity revolution in functional verification methodology. "Writing Testbenches Using SystemVerilog" offers a clear blueprint of a ... see all copies from $59.70! new only from $59.70! \| first editions \| SVS
5	Reactive Systems: Modelling, Specification and Verification more books like this by Luca Aceto, Anna Ingolfsdottir, Jiri Srba add to wishlist Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP ... see all copies from $38.92! new only from $68.98! \| first editions
6	Lessons Learned in Software Testing: A Context-Driven Approach more books like this by Cem Kaner, James Bach, Bret Pettichord add to wishlist This work features decades of software testing experience condensed into the most important lessons learned. The world's leading software testing experts lend you their wisdom and years of experience to help you avoid the most common mistakes in testing software. Each lesson is an assertion related to software testing, followed by an explanation ... see all copies from $17.90! new only from $22.49!
7	Deadly Arsenals: Nuclear, Biological and Chemical Threats more books like this by Joseph Cirincione, Jon B Wolfsthal, Miriam Rajkumar Rajkumar add to wishlist Expanded to include the recent developments in Iran, North Korea, Iraq, Libya and the nuclear black market, "Deadly Arsenals" is an invaluable resource for policy makers, media, academics, and students. A "Choice" outstanding academic title, "Deadly Arsenals" provides a comprehensive, up-to-date assessment on global proliferation dangers, with a ... see all copies from $19.50! new only from $29.95! \| SVS
8	Verification Methodology Manual for Systemverilog more books like this by Janick Bergeron, Eduard Cerny, Alan Hunter add to wishlist Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices. Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that these diverse new technologies have led to a ... see all copies from $68.60! new only from $68.60! \| first editions \| SVS
9	Endgame: Solving the Iraq Problem -- Once and For All more books like this by William "Scott" Ritter, Scott Ritter add to wishlist Scott Ritter became a cause celebre after he resigned in protest over UN and US policy relating to the arms inspection process in Iraq. In this analysis, he exposes the duplicity of UN and US government officials as they appeased Saddam Hussein, and reveals a bold new approach to ending the crisis. see all copies from $1.99! new only from $1.99! \| first editions \| SVS
10	The Greatest Threat: Iraq, Weapons of Mass Destruction, and the Growing Crisis of Global Security more books like this by Richard Butler add to wishlist The leader of the United Nations' weapons inspection team issues a scathing indictment of the West's failure to stop Saddam Hussein--and a stern warning about the future. of photos & maps. see all copies from $1.99! new only from $1.99! \| signed copies \| first editions
11 view cover	Logic Synthesis and Verification Algorithms more books like this by Gary D Hachtel, Fabio Somenzi add to wishlist "Logic Synthesis and Verification Algorithms" blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as ... see all copies from $34.69! new only from $34.69! \| first editions \| SVS
12 view cover	A Practical Introduction to Psl more books like this by Cindy Eisner, Dana Fisman, Gerald L Mandell (Editor) add to wishlist This book describes the Property Specification Language (PSL), recently standardized as IEEE Std 1850-2005. PSL was specifically developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world ... see all copies from $68.15! new only from $82.99! \| first editions
13 view cover	Functional Verification Coverage Measurement and Analysis more books like this by Andrew Piziali add to wishlist "Functional Verification Coverage Measurement and Analysis" addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in ... see all copies from $15.31! new only from $15.51! \| first editions \| SVS
14 view cover	Temporal Verification of Reactive Systems more books like this by Zohar Manna, Amir Pnueli add to wishlist This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches based on model checking. All researchers and students interested in ... see all copies from $38.99! new only from $93.00! \| first editions \| SVS
15 view cover	Methods and Procedures for the Verification and Validation of Artificial Neural Networks more books like this by Brian J Taylor (Editor), Spiro Skias (Editor), Paul E Parker III (Editor) add to wishlist Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the ... see all copies from $37.43! new only from $40.76! \| first editions \| SVS
16 view cover	A Roadmap for Formal Property Verification more books like this by Pallab Dasgupta add to wishlist Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal ... see all copies from $4.03! new only from $36.19! \| first editions
17 view cover	Abstraction Refinement for Large Scale Model Checking more books like this by Chao Wang, Gary D Hachtel, Fabio Somenzi add to wishlist Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model ... see all copies from $55.90! new only from $55.90! \| first editions
18 view cover	The Foundations of Program Verification more books like this by Jacques Loeckx add to wishlist The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides a precise mathematical background to several program verification ... see all copies from $12.14! new only from $90.14! \| first editions \| SVS
19 view cover	Functional Verification of Programmable Embedded Architectures: A Top-Down Approach more books like this by Prabhat Mishra, Nikil D Dutt add to wishlist Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many existing validation techniques employ a bottom-up ... see all copies from $18.00! new only from $34.00! \| first editions
20 view cover	Compliance Quantified: An Introduction to Data Verification more books like this by Rudolf Avenhaus, Morton John Canty, Francesco Calogero (Foreword by) add to wishlist International agreements, such as those governing arms control or the environment, virtually always require some degree of verification of information, in order that compliance can be established. To ensure that the verification process can be regarded as efficient, effective and impartial, it is important to have a mathematical model of it. One ... see all copies from $15.24! new only from $40.67! \| first editions \| SVS
21 view cover	Computer Aided Verification more books like this by Rajeev Alur (Editor), Thomas Henzinger (Editor) add to wishlist This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 ... see all copies from $2.26! new only from $2.71! \| SVS
22 view cover	Cooperative Threat Reduction, Missile Defense, and the Nuclear Future more books like this by Michael Krepon add to wishlist During the Cold War, the United States and the Soviet Union accepted Mutual Assured Destruction, or MAD, to facilitate strategic arms control. Now the Cold War has been replaced by asymmetric warfare, and the demise of the Soviet Union has prompted a new set of proliferation nightmares. Treaties based on nuclear overkill and national vulnerability ... see all copies from $7.00! new only from $33.18! \| SVS
23 view cover	Professional Verification: The Guide to Advanced Functional Verification in the Nanometer Era more books like this by Paul Wilcox, MBA add to wishlist "Professional Verification" is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. "Professional Verification" is based on the experiences of advanced verification teams throughout the ... see all copies from $35.90! new only from $43.20! \| first editions \| SVS
24 view cover	Introduction to Formal Hardware Verification more books like this by Thomas Kropf add to wishlist Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and ... see all copies from $34.35! new only from $34.35! \| SVS
25 view cover	Partial-Order Methods for the Verification of Concurrent Systems more books like this by Patrice Godefroid (Editor) add to wishlist This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and ... see all copies from $6.58! new only from $34.72! \| SVS

Page 1 of 12: 1 2 3 4 5 6 7 8 9 10 Next>

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

	Testing Computer Software by Cem Kaner see all from $1.99! new only from $26.00!
	Taliban: Militant Islam, Oil and Fundamentalism in Central Asia by Mr. Ahmed Rashid see all from $2.92! new only from $6.70!
	War on Iraq by William Rivers Pitt, Scott Ritter see all from $1.99! new only from $6.99!
	Terrorism, Asymmetric Warfare, and Weapons of Mass Destruction: Defending the U.S. Homeland by Anthony H Cordesman see all from $11.23! new only from $21.50!
	Object-Oriented Analysis and Design with Applications by Grady Booch see all from $1.99! new only from $19.85!
	Power Electronics: Circuits, Devices and Applications by Muhammad H Rashid see all from $7.44! new only from $50.00!