Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540425410, 9783540447986

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coverability Analysis Using Symbolic Model Checking

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_13 ◽

2001 ◽

pp. 155-160 ◽

Author(s):

Gil Ratzaby ◽

Shmuel Ur ◽

Yaron Wolfsthal

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Temporal Properties of Self-Timed Rings

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_12 ◽

2001 ◽

pp. 140-154 ◽

Author(s):

Anthony Winstanley ◽

Mark Greenstreet

Keyword(s):

Temporal Properties

Download Full-text

Pruning Techniques for the SAT-Based Bounded Model Checking Problem

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_4 ◽

2001 ◽

pp. 58-70 ◽

Author(s):

Ofer Shtrichman

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Pruning Techniques

Download Full-text

Specifying Hardware Timing with ET-Lotos

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_14 ◽

2001 ◽

pp. 161-166 ◽

Author(s):

Ji He ◽

Kenneth J. Turner

Download Full-text

Hierarchical Verification Using an MDG-HOL Hybrid Tool

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_21 ◽

2001 ◽

pp. 244-258 ◽

Author(s):

Iskander Kort ◽

Sofiene Tahar ◽

Paul Curzon

Keyword(s):

Hierarchical Verification

Download Full-text

A Higher-Level Language for Hardware Synthesis

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_20 ◽

2001 ◽

pp. 228-243 ◽

Author(s):

Richard Sharp ◽

Alan Mycroft

Keyword(s):

Hardware Synthesis

Download Full-text

View from the Fringe of the Fringe

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_1 ◽

2001 ◽

pp. 1-12 ◽

Author(s):

Steven D. Johnson

Download Full-text

A Framework for Microprocessor Correctness Statements

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_33 ◽

2001 ◽

pp. 433-448 ◽

Author(s):

Mark D. Aagaard ◽

Byron Cook ◽

Nancy A. Day ◽

Robert B. Jones

Download Full-text

Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point Divider

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_18 ◽

2001 ◽

pp. 196-211 ◽

Author(s):

Roope Kaivola ◽

Katherine Kohatsu

Keyword(s):

Formal Verification ◽

Floating Point ◽

Proof Engineering

Download Full-text

Formal Pipeline Design

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_15 ◽

2001 ◽

pp. 167-172 ◽

Author(s):

Tiberiu Seceleanu ◽

Juha Plosila

Keyword(s):

Pipeline Design

Download Full-text