A computerized method and system for automatically extracting an IEEE 1149.1 standard design from a netlist and performing compliance checking. The present invention receives the TAP (test access port) description and compliance enable ports of a netlist. The TAP controller is extracted and its state ports are identified, referenced in a boundary scan design database (BSDD) and its states are verified. The TAP controller is controlled so that the instruction register is located and referenced in the BSDD. The TAP controller is controlled so that the bypass register is found and the BSDD is updated. The TAP controller is controlled so that the shift and update cells of the boundary scan register (BSR) are found, the control, input and output BSR cells are characterized and the BSDD is updated. Primary input and output information is also inferred and the device.sub.-- ID register is found. Frontier pins are used to locate signatures of the remaining instructions and their test data registers are found. To infer the SAMPLE instruction, instructions selecting the BSR are groups and those that do not exhibit the behavior of the SAMPLE instruction are eliminated. Primary inputs and primary outputs are then inferred. The following instructions are then inferred: INTEST, HIGHZ, CLAMP, IDCODE and RUNBIST. As each of the above elements of the IEEE 1149.1 design are located, they are used to update the BSDD and are also inherently verified for compliance by the present invention. Intolerable violations flag a non-compliant design.

Компьютеризированные метод и система для автоматически извлекать типоваяа конструкция IEEE 1149.1 от netlist и выполнять проверять соответствия. Присытствыющий вымысел получает описание КРАНА (порта доступа испытания) и соответствие включает порты netlist. Регулятор КРАНА извлечен и определены свои порты положения, после того как они снабжены ссылками в базе данных конструкции развертки границы (BSDD) и свои положения подтвержены. Регулятор КРАНА controlled так, что регистр инструкции будет расположен и снабжен ссылками в BSDD. Регулятор КРАНА controlled так, что регистр перепуска будет найден и BSDD updated. Регулятор КРАНА controlled так, что будут найдены клетки переноса и уточнения регистра развертки границы (BSR), управление, клетки входного сигнала и выхода BSR охарактеризованы и BSDD updated. Первичныа затраты и выходнаяа информация также inferred и device.sub. - - Регистр удостоверения личности найден. Штыри frontier использованы для того чтобы обнаружить местонахождение подписи остальных инструкций и их регистры проверок данных найдены. Для того чтобы infer инструкция ОБРАЗЦА, инструкциями выбирая BSR будут группы и те которые exhibit поведение инструкции ОБРАЗЦА исключены. Первичныа затраты и главным образом выходы после этого inferred. Following инструкции после этого inferred: INTEST, HIGHZ, СТРУБЦИНА, IDCODE и RUNBIST. Как каждый из вышеуказанных элементов конструкции IEEE 1149.1 расположитесь, они использованы для уточнения BSDD и также своиственно подтвержены для соответствия присытствыющим вымыслом. Intolerable нарушения flag нон-ustupciva4 конструкция.