Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540001164, 9783540361268

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simplifying Circuits for Formal Verification Using Parametric Representation

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_4 ◽

2002 ◽

pp. 52-69 ◽

Author(s):

In-Ho Moon ◽

Hee Hwan Kwak ◽

James Kukula ◽

Thomas Shiple ◽

Carl Pixley

Keyword(s):

Formal Verification ◽

Parametric Representation

Download Full-text

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_21 ◽

2002 ◽

pp. 342-359 ◽

Author(s):

Steve McKeever ◽

Wayne Luk ◽

Arran Derbyshire

Keyword(s):

Relative Placement

Download Full-text

Counter-Example Based Predicate Discovery in Predicate Abstraction

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_2 ◽

2002 ◽

pp. 19-32 ◽

Author(s):

Satyaki Das ◽

David L. Dill

Keyword(s):

Predicate Abstraction ◽

Counter Example

Download Full-text

On Solving Presburger and Linear Arithmetic with SAT

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_10 ◽

2002 ◽

pp. 160-170 ◽

Author(s):

Ofer Strichman

Keyword(s):

Linear Arithmetic

Download Full-text

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_8 ◽

2002 ◽

pp. 123-141 ◽

Author(s):

Mark D. Aagaard ◽

Nancy A. Day ◽

Meng Lou

Keyword(s):

Download Full-text

Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_11 ◽

2002 ◽

pp. 171-186 ◽

Author(s):

Vijay Ganesh ◽

Sergey Berezin ◽

David L. Dill

Keyword(s):

Model Checking ◽

Presburger Arithmetic

Download Full-text

Exploiting Transition Locality in the Disk Based Murϕ Verifier

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_13 ◽

2002 ◽

pp. 202-219 ◽

Author(s):

Giuseppe Della Penna ◽

Benedetto Intrigila ◽

Enrico Tronci ◽

Marisa Venturini Zilli

Download Full-text

Smart Play-out of Behavioral Requirements

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_23 ◽

2002 ◽

pp. 378-398 ◽

Author(s):

David Harel ◽

Hillel Kugler ◽

Rami Marelly ◽

Amir Pnueli

Keyword(s):

Behavioral Requirements

Download Full-text

Modeling and Verification of Out-of-Order Microprocessors in UCLID

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_9 ◽

2002 ◽

pp. 142-159 ◽

Author(s):

Shuvendu K. Lahiri ◽

Sanjit A. Seshia ◽

Randal E. Bryant

Download Full-text

Functional Design Using Behavioural and Structural Components

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-36126-x_20 ◽

2002 ◽

pp. 324-341 ◽

Author(s):

Richard Sharp

Keyword(s):

Functional Design ◽

Structural Components

Download Full-text