Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

Method to Measure the Coverage Provided by a TEST CASE on a Specific Logic DESIGN

IP.com Disclosure Number: IPCOM000036290D
Original Publication Date: 1989-Sep-01
Included in the Prior Art Database: 2005-Jan-28
Document File: 2 page(s) / 39K

Publishing Venue

IBM

Related People

Ray, DS: AUTHOR [+2]

Abstract

Disclosed is a method that provides valuable coverage information on a specific design for a specific test case. The coverage measurement is accomplished by coding the different decision blocks in the design, as events.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 79% of the total text.

Page 1 of 2

Method to Measure the Coverage Provided by a TEST CASE on a Specific Logic DESIGN

Disclosed is a method that provides valuable coverage information on a specific design for a specific test case. The coverage measurement is accomplished by coding the different decision blocks in the design, as events.

In computer logic design, simulators are often used to simulate the machine being designed. The simulator consists of a control program and a compiled DESIGN. What is referred to here as design, is a collection of several macros, written in the same manner as a high level language with a lot of decision blocks. TEST CASES are run on the simulator, and their failure signals a "BUG" in the design. A TEST CASE is a file that contains a number of opcodes and the expected results, arranged in a standard format.

In the method employed, every IF statement in the design is coded as an event. To code the events, an existing tool called WRFAC2 can be used. Please refer to the following example for clarification. Example: A typical IF statement in a particular DESIGN (written in DSL language) would look like the following: / IF A THEN

LEG_0 SIG := 0;

/ ELSE

LEG_1 SIG := 1;

END IF; where A and SIG are signal names.The two following events can be formulated for this IF statement: GATE A :=1 GATE A := 0

GATE SIG := 0 GATE SIG := 1

EVENT LEG_0_TAKEN; and EVENT LEG_1_TAKEN;

where GATE and EVENT are WRFAC2 keywords. If at the end of the simulation LEG_1_TAKEN = 1, then it means that...