Formal Methods for Hardware Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540343042, 9783540343059

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hardware Design and Simulation for Verification

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_1 ◽

2006 ◽

pp. 1-29

Author(s):

Nicola Bombieri ◽

Franco Fummi ◽

Graziano Pravadelli

Keyword(s):

Hardware Design

Download Full-text

SAT-Based Verification Methods and Applications in Hardware Verification

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_5 ◽

2006 ◽

pp. 108-143 ◽

Cited By ~ 5

Author(s):

Aarti Gupta ◽

Malay K. Ganai ◽

Chao Wang

Keyword(s):

Hardware Verification ◽

Verification Methods

Download Full-text

BDD-Based Hardware Verification

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_4 ◽

2006 ◽

pp. 78-107 ◽

Cited By ~ 5

Author(s):

Gianpiero Cabodi ◽

Marco Murciano

Keyword(s):

Hardware Verification

Download Full-text

An Introduction to Symbolic Trajectory Evaluation

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_3 ◽

2006 ◽

pp. 56-77

Author(s):

Koen Claessen ◽

Jan-Willem Roorda

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Floating-Point Verification Using Theorem Proving

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_8 ◽

2006 ◽

pp. 211-242 ◽

Cited By ~ 27

Author(s):

John Harrison

Keyword(s):

Theorem Proving ◽

Floating Point

Download Full-text

Automatic Test Pattern Generation

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_2 ◽

2006 ◽

pp. 30-55 ◽

Cited By ~ 3

Author(s):

Rolf Drechsler ◽

Görschwin Fey

Keyword(s):

Test Pattern ◽

Pattern Generation ◽

Test Pattern Generation ◽

Automatic Test Pattern Generation ◽

Automatic Test

Download Full-text

Refinement and Theorem Proving

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_7 ◽

2006 ◽

pp. 176-210 ◽

Cited By ~ 1

Author(s):

Panagiotis Manolios

Keyword(s):

Theorem Proving

Download Full-text

Building Efficient Decision Procedures on Top of SAT Solvers

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_6 ◽

2006 ◽

pp. 144-175 ◽

Cited By ~ 5

Author(s):

Alessandro Cimatti ◽

Roberto Sebastiani

Keyword(s):

Decision Procedures ◽

Sat Solvers

Download Full-text

Formal Methods for Hardware Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Hardware Design and Simulation for Verification

SAT-Based Verification Methods and Applications in Hardware Verification

BDD-Based Hardware Verification

An Introduction to Symbolic Trajectory Evaluation

Floating-Point Verification Using Theorem Proving

Automatic Test Pattern Generation

Refinement and Theorem Proving

Building Efficient Decision Procedures on Top of SAT Solvers

Formal Methods for Hardware Verification - Lecture Notes in Computer Science
Latest Publications