Property driven test generation in absence of direct interface

Pal, Bhaskar ; Dasgupta, Pallab ; Chakrabarti, P. (2006) Property driven test generation in absence of direct interface In: 2006 Annual IEEE India Conference, 15-17 September 2006, New Delhi, India.

Full text not available from this repository.

Official URL:

Related URL:


This paper presents an automatic test generation methodology for complex coverage points in the context of systems consisting of an environment (E), a machine (M) and a controller (C). The coverage points are modeled as temporal scenarios over a set of low-level events supported in M. These events can't be generated directly. There exists a set of high-level macros (supported in E) that can generate these events. The objective is to generate a sequence of macros to reach a complex coverage point in M. We present a prototype tool that automatically generates a systemverilog test-bench for the required macro sequence generation. The result on DLX pipeline shows the effectiveness of the approach.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
Keywords:Design Automation; Automatic Testing
ID Code:101686
Deposited On:09 Mar 2018 10:17
Last Modified:09 Mar 2018 10:17

Repository Staff Only: item control page