23 search results - page 1 / 5 » A Framework for Object Oriented Hardware Specification, Veri... |
97
Voted
DAC
2001
ACM
15 years 11 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
81
Voted
ATVA
2009
Springer
15 years 2 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
105
Voted
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
94
Voted
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
106
Voted
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...