Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) SAT based solutions for consistency problems in formal property specifications for open systems International Conference on Computer Aided Design . pp. 885-888.
Full text not available from this repository.
Official URL: http://www.computer.org/portal/web/csdl/doi/10.110...
Related URL: http://dx.doi.org/10.1109/ICCAD.2005.1560186
Abstract
Formal property verification is increasingly being adopted by designers for module level validation. The behavior of a module is typically expressed in terms of the behavioral guarantee of the module under assumptions on its environment. Expressing such assume-guarantee properties correctly in a formal language is a nontrivial task and errors in the specification are not uncommon. In this paper we examine the main forms of specification errors for open systems, and present SAT based algorithms for verifying the specification against such errors.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Institute of Electrical and Electronic Engineers. |
| ID Code: | 5987 |
| Deposited On: | 19 Oct 2010 09:59 |
| Last Modified: | 16 Jul 2012 05:13 |
Repository Staff Only: item control page
