Design intent coverage revisited

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