Sign in with Facebook
Verification Books
Showing 1-43 of 43
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features (Hardcover)
by (shelved 2 times as verification)
avg rating 4.39 — 38 ratings — published 2006
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
by (shelved 1 time as verification)
avg rating 2.00 — 5 ratings — published 2010
Next Level Testbenches: Design Patterns in SystemVerilog and UVM (Hardcover)
by (shelved 1 time as verification)
avg rating 4.75 — 4 ratings — published
Python for RTL Verification: A complete course in Python, cocotb, and pyuvm (Paperback)
by (shelved 1 time as verification)
avg rating 4.62 — 13 ratings — published
SystemVerilog Assertions Handbook (Paperback)
by (shelved 1 time as verification)
avg rating 5.00 — 3 ratings — published
Practical TLA+: Planning Driven Development (Kindle Edition)
by (shelved 1 time as verification)
avg rating 3.83 — 65 ratings — published
The Cucumber Book: Behaviour-Driven Development for Testers and Developers (Paperback)
by (shelved 1 time as verification)
avg rating 3.99 — 478 ratings — published 2011
Specification by Example: How Successful Teams Deliver the Right Software (Paperback)
by (shelved 1 time as verification)
avg rating 4.03 — 709 ratings — published 2011
The Rspec Book: Behaviour Driven Development with RSpec, Cucumber, and Friends (Facets of Ruby)
by (shelved 1 time as verification)
avg rating 3.88 — 769 ratings — published 2009
Pragmatic Unit Testing in C# with NUnit (Paperback)
by (shelved 1 time as verification)
avg rating 3.70 — 155 ratings — published 2004
Guide to Building Secure Web Applications and Web Services
by (shelved 1 time as verification)
avg rating 4.75 — 4 ratings — published 2005
OWASP Backend Security Project: Beta (Kindle Edition)
by (shelved 1 time as verification)
avg rating 5.00 — 1 rating — published 2011
OWASP Web Testing Guide (Paperback)
by (shelved 1 time as verification)
avg rating 4.28 — 18 ratings — published 2009
Release It!: Design and Deploy Production-Ready Software (Pragmatic Programmers)
by (shelved 1 time as verification)
avg rating 4.25 — 3,260 ratings — published 2007
Don't Make Me Think, Revisited: A Common Sense Approach to Web Usability (Voices That Matter)
by (shelved 1 time as verification)
avg rating 4.24 — 30,833 ratings — published 2000
The Tangled Web: A Guide to Securing Modern Web Applications (Paperback)
by (shelved 1 time as verification)
avg rating 4.04 — 555 ratings — published 2011
The Web Application Hacker's Handbook: Discovering and Exploiting Security Flaws (Paperback)
by (shelved 1 time as verification)
avg rating 4.23 — 1,227 ratings — published 2007
Ship it! A Practical Guide to Successful Software Projects (Paperback)
by (shelved 1 time as verification)
avg rating 3.71 — 526 ratings — published 2005
Low-Power Design and Power-Aware Verification (Hardcover)
by (shelved 1 time as verification)
avg rating 3.00 — 1 rating — published
Practical UVM: Step by Step Examples (Paperback)
by (shelved 1 time as verification)
avg rating 5.00 — 4 ratings — published
A Practical Guide to Adopting the Universal Verification Methodology UVM (Paperback)
by (shelved 1 time as verification)
avg rating 4.50 — 16 ratings — published 2010
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies (Kindle Edition)
by (shelved 1 time as verification)
avg rating 2.00 — 1 rating — published
The UVM Primer (Kindle Edition)
by (shelved 1 time as verification)
avg rating 4.34 — 44 ratings — published 2013
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications (ebook)
by (shelved 1 time as verification)
avg rating 4.43 — 7 ratings — published 2013
Introduction to Formal Hardware Verification (Hardcover)
by (shelved 1 time as verification)
avg rating 3.00 — 1 rating — published 1999
The Art of Verification with VERA (Paperback)
by (shelved 1 time as verification)
avg rating 5.00 — 1 rating — published
SVA: The Power of Assertions in SystemVerilog (Kindle Edition)
by (shelved 1 time as verification)
avg rating 0.0 — 0 ratings — published
EDA for IC System Design, Verification, and Testing (Electronic Design Automation for Integrated Circuits Hdbk)
by (shelved 1 time as verification)
avg rating 0.0 — 0 ratings — published 2006
A Practical Guide for SystemVerilog Assertions (Hardcover)
by (shelved 1 time as verification)
avg rating 4.40 — 5 ratings — published 2005
Hardware Verification With SystemVerilog: An Object-oriented Framework (Paperback)
by (shelved 1 time as verification)
avg rating 5.00 — 1 rating — published 2007
Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them (Hardcover)
by (shelved 1 time as verification)
avg rating 4.29 — 7 ratings — published 2007
Digital System Verification: A Combined Formal Methods and Simulation Framework (ebook)
by (shelved 1 time as verification)
avg rating 0.0 — 0 ratings — published 2010
Cracking Digital VLSI Verification Interview: Interview Success (Kindle Edition)
by (shelved 1 time as verification)
avg rating 4.28 — 74 ratings — published
Advanced UVM (Kindle Edition)
by (shelved 1 time as verification)
avg rating 4.60 — 5 ratings — published
Verification Methodology Manual for Low Power (Paperback)
by (shelved 1 time as verification)
avg rating 3.67 — 3 ratings — published 2009
Z: An Introduction to Formal Methods (Paperback)
by (shelved 1 time as verification)
avg rating 3.67 — 9 ratings — published 1994
Writing Testbenches using SystemVerilog (Hardcover)
by (shelved 1 time as verification)
avg rating 3.70 — 10 ratings — published 2006
Verification and Control of Hybrid Systems: A Symbolic Approach (Hardcover)
by (shelved 1 time as verification)
avg rating 5.00 — 2 ratings — published 2009
Economic Science and the Austrian Method (Paperback)
by (shelved 1 time as verification)
avg rating 3.93 — 483 ratings — published 1995
The Spin Model Checker: Primer and Reference Manual (Hardcover)
by (shelved 1 time as verification)
avg rating 3.75 — 12 ratings — published 2003
The Age of Innocence (Paperback)
by (shelved 1 time as verification)
avg rating 3.97 — 198,587 ratings — published 1920
Blur: How to Know What's True in the Age of Information Overload (Hardcover)
by (shelved 1 time as verification)
avg rating 3.70 — 407 ratings — published 2010
“Among the many things that I showed Sir John [Herschel] while at Hammerfield, was a piece of white calico on which I had got printed one million spots. This was for the purpose of exhibiting one million in visible form. In astronomical subjects a million is a sort of unit, and it occurred to me to show what a million really is. Sir John was delighted and astonished at the sight. He went carefully over the outstretched piece with his rule, measured its length and breadth, and verified its correctness.”
― James Nasmyth, Engineer: An Autobiography
― James Nasmyth, Engineer: An Autobiography
“Your one step to verify God Is your two step verification to the hell”
―
―
