Design automation method for digital electronic circuits
First Claim
1. A method of automatically partitioning a logic tree to improve testability thereof, comprising the steps:
- (a) identifying a set of driving bits for each of a set of points within the tree;
(b) for each of said set of points, identifying a set of splittable input bits that can be isolated by insertion of a self-test register at that point;
(c) identifying which of said points are possible fence points, having more than one splittable input bit; and
(d) selecting a sub-set of said possible fence points, sufficient to reduce the number of inputs to the logic tree to a value less than a predetermined limit, and inserting self-test registers at said sub-set of possible fence points.
1 Assignment
0 Petitions
Accused Products
Abstract
A design automation method for digital electronic circuits, including the steps of synthesizing a circuit including at least one logic tree, and then automatically partitioning the logic tree. The automatic partitioning process involves first identifying a set of driving bits for each of a set of points within the tree, ie the tree inputs that affect each of those points. Then, for each of those points, the partitioning process identifies a set of splittable input bits that can be isolated by insertion of a fence register at that point, and identifies which of those points are possible fence points, having more than one splittable input bit. Finally, the partitioning process selects a sub-set of the possible fence points, sufficient to reduce the number of inputs to the logic tree to a value less than a predetermined limit, and inserts fence registers at those points. In this way, the number of inputs to the logic tree can be made small enough (e.g. 17 or less) to allow exhaustive testing of the circuit.
23 Citations
7 Claims
-
1. A method of automatically partitioning a logic tree to improve testability thereof, comprising the steps:
-
(a) identifying a set of driving bits for each of a set of points within the tree; (b) for each of said set of points, identifying a set of splittable input bits that can be isolated by insertion of a self-test register at that point; (c) identifying which of said points are possible fence points, having more than one splittable input bit; and (d) selecting a sub-set of said possible fence points, sufficient to reduce the number of inputs to the logic tree to a value less than a predetermined limit, and inserting self-test registers at said sub-set of possible fence points. - View Dependent Claims (2, 3)
-
-
4. A design automation method for digital electronic circuits, including the steps of synthesizing a circuit design including at least one logic tree, and then automatically partitioning said logic tree to improve testability thereof by means of an automatic partitioning method comprising the steps:
-
(a) identifying a set of driving bits for each of a set of points within the tree; (b) for each of said set of points, identifying a set of splittable input bits that can be isolated by insertion of a self-test register at that point; (c) identifying which of said points are possible fence points, having more than one splittable input bit; and (d) selecting a sub-set of said possible fence points, sufficient to reduce the number of inputs to the logic tree to a value less than a predetermined limit, and inserting self-test registers at said sub-set of possible fence points. - View Dependent Claims (5, 6)
-
-
7. A computer system, comprising:
-
(a) means for synthesizing a circuit design including at least one logic tree; (b) means for identifying a set of driving bits for each of a set of points within the tree; (c) means for identifying, for each of said set of points, a set of splittable input bits that can be isolated by insertion of a self-test register at that point; (d) means for identifying which of said points are possible fence points, having more than one splittable input bit; (e) means for selecting a sub-set of said possible fence points, sufficient to reduce the number of inputs to the logic tree to a value less than a predetermined limit; and (f) means for inserting self-test registers at said sub-set of possible fence points to improve testability of said logic tree.
-
Specification