Patent ID: 6012155
Filing Date: 2000-01-04
Classification: G01R

Abstract:
A method for checking a netlist comprising the steps of:extracting state elements of a test access port (TAP) controller design within said netlist;traversing a plurality of states of said TAP controller to verify compliance with a set of known states;controlling said TAP controller to extract shift cells of an instruction register;extracting and verifying a bypass register of said netlist;extracting cells of a boundary scan register of said netlist;classifying cells of said boundary scan register as an input, output or control cells;extracting a set of frontier pins associated with decode logic coupled to said instruction register;traversing instruction opcodes through said instruction register and examining said frontier pins to determine a set of unique signatures;extracting a test data register for each unique signature of said set of unique signatures;extracting primary inputs and primary outputs of each cell of said boundary scan register; andupdating a design database for each extracted element that complies with a predefined definition.