Constraint-driven test generation for programmable logic device integrated circuits
First Claim
1. A method for using a programmable logic device test generation tool to generate test configuration data and test vectors for testing a programmable logic device integrated circuit, comprising:
- generating a graph of the programmable logic device integrated circuit with the programmable logic device test generation tool;
using the programmable logic device test generation tool to automatically extract multiple testable subgraphs from the graph in separate processing sessions;
processing each extracted testable subgraph in a separate processing session with the programmable logic device test generation tool to produce a corresponding set of test configuration data and test vectors for testing the programmable logic device, wherein the graph and the extracted testable subgraphs contain nodes and edges and wherein the edges represent programmable connections in the programmable logic device integrated circuit; and
during each procession session, using a cost function to determine which portion of the extracted testable subgraph is to be processed, wherein using the cost function comprises incrementing a cost function threshold in successive processing iterations to selectively increase the portion of the extracted testable subgraph that is processed.
1 Assignment
0 Petitions
Accused Products
Abstract
A programmable logic device test generation tool is provided that produces test configuration data and test vectors for testing programmable logic device integrated circuits. A graph generation tool converts a netlist or other circuit description of a programmable logic device integrated circuit into a graph having nodes and edges. A timing analysis tool may be used to help produce test constraints. Based on the test constraints, an automatic test generator processes the graph to produce the test configuration data and test vectors. In processing the graph with the automatic test generator, the graph may be divided into multiple testable subgraphs. Each subgraph may be processed using an iterative approach in which a cost function threshold is adjusted in a number of steps until a target test coverage is obtained or processing saturates.
31 Citations
22 Claims
-
1. A method for using a programmable logic device test generation tool to generate test configuration data and test vectors for testing a programmable logic device integrated circuit, comprising:
-
generating a graph of the programmable logic device integrated circuit with the programmable logic device test generation tool; using the programmable logic device test generation tool to automatically extract multiple testable subgraphs from the graph in separate processing sessions; processing each extracted testable subgraph in a separate processing session with the programmable logic device test generation tool to produce a corresponding set of test configuration data and test vectors for testing the programmable logic device, wherein the graph and the extracted testable subgraphs contain nodes and edges and wherein the edges represent programmable connections in the programmable logic device integrated circuit; and during each procession session, using a cost function to determine which portion of the extracted testable subgraph is to be processed, wherein using the cost function comprises incrementing a cost function threshold in successive processing iterations to selectively increase the portion of the extracted testable subgraph that is processed. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
-
-
14. A method for testing a programmable logic device integrated circuit, comprising:
-
using a programmable logic device test generation tool to generate a graph G from a circuit description of the programmable logic device integrated circuit; using the programmable logic device test generation tool to automatically extract multiple testable subgraphs from the graph G, wherein the graph G and the multiple testable subgraphs include nodes and edges; processing each extracted testable subgraph in a separate processing session with the programmable logic device test generation tool to produce a corresponding set of test configuration data and test vectors for testing the programmable logic device; during the processing of each extracted testable subgraph, using a cost function in the programmable logic device test generation tool to determine which portion of the extracted testable subgraph to process, wherein using the cost function to determine which portion of the extracted testable subgraph to process comprises using the programmable logic device test generation tool to automatically extract multiple subsets from the extracted subgraph based on an incrementing hop number index that indicates how many graph edges are permitted in test paths in each subset; providing the test configuration data and test vectors from the programmable logic device test generation tool to a tester; and using the tester to load the test configuration data into the programmable logic device integrated circuit, apply the test vectors, and monitor resulting signals from the programmable logic device integrated circuit. - View Dependent Claims (15, 16, 17, 18, 19, 20, 21)
-
-
22. Software on a computer-readable storage medium for execution on computing equipment for generating test configuration data and test vectors for testing a programmable logic device integrated circuit, comprising:
-
code for generating a graph of the programmable logic device integrated circuit; code for automatically extracting multiple testable subgraphs from the graph in separate processing sessions; code for processing each extracted testable subgraph in a separate processing session to produce a corresponding set of test configuration data and test vectors for testing the programmable logic device; code for automatically extracting a portion of each testable subgraph using a cost function; and code for automatically incrementing a cost function threshold in successive processing iterations of each processing session to selectively increase the portion of the extracted testable subgraph that is extracted.
-
Specification