US 5,513,118 AGranted

High level synthesis for partial scan testing

AssigneeNEC USA, Inc.

InventorsSujit Dey, Miodrag Potkonjak, Rabindra K. Roy

Life of this patent

Estimating the term…

Loading patent…

Abstract

A method for performing high level synthesis of integrated circuits simultaneously considers testability and resource utilization. The method considers the relationship between hardware sharing, loops in the synthesized data path, and partial scan testing overhead. Hardware sharing is used to minimize the quantity of scan registers required to synthesize data paths with a minimal quantity of loops. A random walk based algorithm is used to break all control data flow graph (CDFG) loops with a minimal quantity of scan registers. Subsequent scheduling and assignment avoids the formation of loops in the data path by reusing the scan registers, while ensuring high resource utilization of the components of hardware costs: execution units, registers and interconnects. The partial scan overhead incurred is less than that of conventional gate level design partial scan techniques.

Claims4

Dependent claims

A method of high level synthesis of an integrated circuit including execution units for partial scan testing from a control data flow graph (CDFG) description of the integrated circuit comprising the steps of:

allocating a quantity of execution units based upon resource allocation;
selecting scan variables assignable to scan registers for breaking all loops in said CDFG such that the number of scan registers is minimized, by calculating a loop cutting effectiveness (LCE) measure for estimating the quantity of loops broken by selecting a scan variable and by calculating a highest hardware sharing effectiveness (HSE) value for scan variables and selecting those scan variables with the highest calculated loop cutting effectiveness measure and hardware sharing effectiveness value;
scheduling and assigning operations to execution units for substantially minimal cost;
and
synthesizing the integrated circuit according to said allocating, said selecting and said scheduling and assigning.

2 more elements

Dependencies are inferred from the claim text.