Cтраница 2
В работе [4] была получена конечная полная система тождеств для бесповторных формул. Ее использование позволяет упростить доказательство основной леммы, однако промежуточные леммы представляют самостоятельную ценность для решения задач тестирования бесповторных функций. [16]
В результате он оказался прекрасным инструментом для создания расширенных версий JTAG-интерфейса ( enhanced JTAG interface), позволив тем самым использовать JTAG-интерфейс для решения не только задач тестирования, но и широкого круга других задач. При употреблении термина ISP безразлично, является ПЗУ памятью команд МП или памятью конфигурации БИС ПЛ. [17]
За последние годы разработаны методы, позволяющие успешно тестировать средства измерения, содержащие - микропроцессоры. На основе этих методов созданы специальные приборы. Решать вопрос о том, какой метод или прибор наиболее эффективен в конкретном случае, следует на стадии проектирования средства измерения с учетом условий его эксплуатации и квалификации обслуживающего персонала. Задача тестирования микропроцессорных систем настолько важна, что ей посвящена специальная гл. [18]
А другой - в специальной ( ориентированной на тестирование) организации связи между основными схемами кристалла БИС и ее внешними контактами. Такая организация этой связи позволяет передавать значения сигналов на выходных контактах в транспортный механизм цепочки и наоборот. Это дает возможность использовать границы БИС для задач тестирования их межсоединений без физического доступа к каждому ее выводу. [19]