Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). pp. 1-32. ISSN 1084-4309
Full text not available from this repository.
Official URL: http://doi.org/10.1145/1455229.1455238
Related URL: http://dx.doi.org/10.1145/1455229.1455238
Abstract
Design intent coverage is a formal methodology for analyzing the gap between a formal architectural specification of a design and the formal functional specifications of the component RTL blocks of the design. In this article we extend the design intent coverage methodology to hybrid specifications containing both state-machines and formal properties. We demonstrate the benefits of this extension in two domains of considerable recent interest, namely (a) the use of auxiliary state-machines in formal specifications, and (b) the use of modest sized RTL blocks in the design intent coverage analysis.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Association for Computing Machinery |
| ID Code: | 129703 |
| Deposited On: | 18 Nov 2022 09:44 |
| Last Modified: | 18 Nov 2022 09:44 |
Repository Staff Only: item control page
