Persian
Hardware and Software: Verification and Testing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Understanding Transactional Memory (Extended Abstract)
-
Altmetric BadgeChapter 2 The SMT-LIB Initiative and the Rise of SMT
-
Altmetric BadgeChapter 3 Testing Concurrent Software
-
Altmetric BadgeChapter 4 Reflections on Spartan Programming and the No-Debugger Principle
-
Altmetric BadgeChapter 5 An Introduction to Test Specification in FQL
-
Altmetric BadgeChapter 6 Verification Failures: What to Do When Things Go Wrong
-
Altmetric BadgeChapter 7 Special Session on Debugging
-
Altmetric BadgeChapter 8 Debugging Unrealizable Specifications with Model-Based Diagnosis
-
Altmetric BadgeChapter 9 Parallelizing a Symbolic Compositional Model-Checking Algorithm
-
Altmetric BadgeChapter 10 Reaching Coverage Closure in Post-silicon Validation
-
Altmetric BadgeChapter 11 Variants of LTL Query Checking
-
Altmetric BadgeChapter 12 SAT-Solving Based on Boundary Point Elimination
-
Altmetric BadgeChapter 13 Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation
-
Altmetric BadgeChapter 14 vlogsl : A Strategy Language for Simulation-Based Verification of Hardware
-
Altmetric BadgeChapter 15 Advances in Simultaneous Multithreading Testcase Generation Methods
-
Altmetric BadgeChapter 16 Revisiting Synthesis of GR(1) Specifications
-
Altmetric BadgeChapter 17 An Efficient and Flexible Approach to Resolution Proof Reduction