H-DBUG: a high-level debugging framework for protocol verification using assertions

Nandi, A. ; Pal, B. ; Chhetan, N. ; Dasgupta, P. ; Chakrabarti, P. P. (2005) H-DBUG: a high-level debugging framework for protocol verification using assertions In: 2005 Annual IEEE India Conference - Indicon, 11-13 December 2005.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/document/1590136/

Related URL: http://dx.doi.org/10.1109/INDCON.2005.1590136


The success of an ABV IP depends highly on the associated debugging environment. An efficient debugging environment helps the user to find out the exact location of the failure. Moreover, it provides information to the user in a refined detail of abstraction and permit adequate interaction. It has also been realized that adequate visualization support helps in tracking the behavioral aspects of the Design Under Test (DUT). Currently, the debugging tools provide information in the signal level and do not provide any information about the high-level behavior of the DUT. We present a debugging framework that takes the design specification, assertions and the user intent in a simple format and provides detailed information by processing the design trace on-line, or off-line. We also present a visualization framework to ease the debugging procedure. We have experimented with industrial standard on-chip bus protocols that ensure that this utility can be incorporated successfully in the present functional verification flow.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
Keywords:Verification; Assertions; Debugging
ID Code:101711
Deposited On:09 Mar 2018 10:18
Last Modified:09 Mar 2018 10:18

Repository Staff Only: item control page