2009 Formal Methods in Computer-Aided Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424449668

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structure-aware computation of predicate abstraction

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351149 ◽

2009 ◽

Cited By ~ 4

Author(s):

Alessandro Cimatti ◽

Jori Dubrovin ◽

Tommi Junttila ◽

Marco Roveri

Keyword(s):

Predicate Abstraction

Download Full-text

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351155 ◽

2009 ◽

Download Full-text

Finding heap-bounds for hardware synthesis

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351120 ◽

2009 ◽

Cited By ~ 12

Author(s):

B. Cook ◽

A. Gupta ◽

S. Magill ◽

A. Rybalchenko ◽

J. Simsa ◽

...

Keyword(s):

Hardware Synthesis

Download Full-text

A compositional theory for post-reboot observational equivalence checking of hardware

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351129 ◽

2009 ◽

Cited By ~ 8

Author(s):

Zurab Khasidashvili ◽

Daher Kaiss ◽

Doron Bustan

Keyword(s):

Equivalence Checking ◽

Observational Equivalence

Download Full-text

SAT-based synthesis of clock gating functions using 3-valued abstraction

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351118 ◽

2009 ◽

Cited By ~ 4

Author(s):

Eli Arbel ◽

Oleg Rokhlenko ◽

Karen Yorav

Keyword(s):

Clock Gating

Download Full-text

Author index

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351154 ◽

2009 ◽

Download Full-text

Enhanced verification by temporal decomposition

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351146 ◽

2009 ◽

Cited By ~ 5

Author(s):

Michael L. Case ◽

Hari Mony ◽

Jason Baumgartner ◽

Robert Kanzelman

Keyword(s):

Temporal Decomposition

Download Full-text

Mixed abstractions for floating-point arithmetic

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351141 ◽

2009 ◽

Cited By ~ 31

Author(s):

Angelo Brillout ◽

Daniel Kroening ◽

Thomas Wahl

Keyword(s):

Floating Point ◽

Floating Point Arithmetic ◽

Point Arithmetic

Download Full-text

[Cover page]

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351152 ◽

2009 ◽

Download Full-text

Scalable conditional equivalence checking: An automated invariant-generation based approach

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351131 ◽

2009 ◽

Cited By ~ 1

Author(s):

Jason Baumgartner ◽

Hari Mony ◽

Michael Case ◽

Jun Sawada ◽

Karen Yorav

Keyword(s):

Equivalence Checking ◽

Invariant Generation

Download Full-text

2009 Formal Methods in Computer-Aided Design
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Structure-aware computation of predicate abstraction

Table of contents

Finding heap-bounds for hardware synthesis

A compositional theory for post-reboot observational equivalence checking of hardware

SAT-based synthesis of clock gating functions using 3-valued abstraction

Author index

Enhanced verification by temporal decomposition

Mixed abstractions for floating-point arithmetic

[Cover page]

Scalable conditional equivalence checking: An automated invariant-generation based approach

Export Citation Format

2009 Formal Methods in Computer-Aided DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Structure-aware computation of predicate abstraction

Table of contents

Finding heap-bounds for hardware synthesis

A compositional theory for post-reboot observational equivalence checking of hardware

SAT-based synthesis of clock gating functions using 3-valued abstraction

Author index

Enhanced verification by temporal decomposition

Mixed abstractions for floating-point arithmetic

[Cover page]

Scalable conditional equivalence checking: An automated invariant-generation based approach

2009 Formal Methods in Computer-Aided Design
Latest Publications