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). No pp. given. ISSN 1084-4309
Full text not available from this repository.
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: | 101406 |
Deposited On: | 09 Mar 2018 10:20 |
Last Modified: | 09 Mar 2018 10:20 |
Repository Staff Only: item control page