152
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
164
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
111
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
146
click to vote
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
133
click to vote
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
159
Voted
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer
211
Voted
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer
133
Voted
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
135
Voted
FMCAD
2009
Springer
16 years 2 days ago
2009
Springer