Patent ID: 7007250

Claim:
A method for testing a programmable logic device, wherein the programmable logic device includes programmable logic elements and programmable routing resources, the method comprising: a. storing an expression of a specific design adapted for instantiation on the programmable logic device, wherein the expression of the specific design specifies: i. a plurality of the programmable logic elements programmed to perform combinatorial logic operations; and ii. a plurality of interconnect lines programmed to define a first collection of nets interconnecting the plurality of programmable logic elements; b. determining, from the expression of the specific design, what logical operation is to be performed by each of the plurality of programmable logic elements specified by the expression of the specific design; and c. generating a test expression adapted for instantiation on the programmable logic device, wherein the test expression specifies: i. the logical operation to be performed by each of the plurality of programmable logic elements specified by the expression of the specific design; and ii. a second collection of nets different from the first collection of nets.