Проектирование тестового обеспечения цифровых схем
Технология Design for Test & Test for Design
Терминология.TwCAD - это САПР тестового обеспечения, которую мы сами разработали и
предлагаем своим заказчикам и студентам. TwCAD уже 25 лет успешно генерирует тесты
для цифровых схем. Раньше мы передавали TwCAD нашим заказчикам и студентам, а они у себя
проектировали тесты. Теперь с развитием web-технологий мы не передаем заказчикам систему.
Заказчики сами через Интернет передают в TwCAD текстовые описания схем (Netlist) и получают тесты.
В TwCAD тестопригодность (DFT) оценивает часть схемы, пригодную к ATPG.
ATPG - это автоматическая генерация теста. Другими словами тестопригодность -
это прогноз полноты теста в ATPG. Полнота теста - это процент
неисправностей, проверенных этим тестом. Говорят, что схема на 100% тестопригодна, если 100% полнота теста
достижима в TwCAD. Тестовое обеспечение (Testware=Tw) включает тесты,
рекомендуемые тестопригодные изменения и разъяснения разработчику из чего складывается и
как меняется тестопригодность.
Design for Test & Test for Design = DFT&TFD - это двухпроходная технология
- DFT - создаёт отчёт по тестопригодному проектированию, объясняющий из чего складывается
и как меняется тестопригодность до и по мере внесения рекомендуемых изменений, если они нужны
- TFD - ATPG даёт тесты, а также сведения о том, что проверено,
что не проверено, что непроверяемо, что не достижимо в схеме, какие шины работают, а какие нет
Что Вам предлагает Виртуальная web-лаборатория TwLab
|
|
вживую прямо через Интернет Вы для своей схемы
- оцените тестопригодность и поймёте из чего она складывается
- получите, если надо, рекомендации по тестопригодным изменениям
- сгенерируете контролирующий тест, а также тесты для верификации логики и шин
- поймёте каковы препятствия к 100% полноте, преодолимые только разработчиком схемы
|
|
|
|
следуя технологии DFT & TFD, Вы получите полный комплект тестового обеспечения
- тест из ATPG - быстро и качественно,
если схема достаточно тестопригодна
- тестопригодные изменения, чтоб ATPG стала возможна,
если схема нетестопригодна
- в отчёте прогнозируется тестопригодность до и по мере внесения изменений
|
|
|
используя ATPG для схемы "как есть"
- Вы получите тест из ATPG - быстро и качественно, если схема достаточно тестопригодна
- Вы увидите, что полнота теста будет близка предсказываемой, если схема нетестопригодна
- если полнота теста не достигнет 100%, то Вы получите разъяснения почему это так
- у Вас всегда есть запасной вариант - обратитесь к технологии DFT & TFD
|
|
|
в зависимости от тестопригодности схемы ведут себя по-разному в ATPG
- для тестопригодной схемы качество теста высокое, а
затраты времени на ATPG пропорциональны объёму
- для нетестопригодной схемы ATPG проходит пародоксально: время - больше, качество - ниже
- созданию теста 100% по полноте препятствует избыточность, наличие недостижимых значений,
некорректность в работе шин, о чём сообщается разработчику схемы
|
|
|
TwCAD берет на себя трудоемкую рутинную работу по созданию тестового обеспечения,
а разработчик схемы принимает ответственные решения о том, как реализовать
рекомендуемые изменения, как преодолеть отмеченные препятствия к достижению 100% качества теста
|
|
|
в TwLab студенты выполняют через Интернет свои
лабораторные работы по курсу "Контроль и диагностика ЭВМ"
|
Следуя технологии DFT & TFD, Вы
<== посылаете только список цепей схемы (
первичный Netlist)
==> получаете оценку тестопригодности и тест из ATPG, если схема достаточно тестопригодна
==> получаете
тестопригодные изменения, если схема нетестопригодна, и
<=== добавляете несколько входов, где мы укажем, чтоб улучшить управляемость, - это плата за тестопригодность
<=== добавляете несколько выходов, где мы укажем, чтоб улучшить наблюдаемость. это - плата за тестопригодность
<=== посылаете вторичный Netlist, изменённый по рекомендациям
===> получаете автоматически сгенерированный тест верификации
===> получаете перечень нарушений условий единственности источника сигнала в шине, если они имеются
===> получаете тест
высокого качества для проверки Вашей схемы в заказанном формате
Следуя технологии DFT & TFD, мы
- вычислим оценки управляемости и наблюдаемости Вашей схемы (design for test - DFT-анализ)
- сравним оценки с уровнем, при котором возможна ATPG в TwCAD и предскажем полноту теста -
такому подходу нет аналогов в имеющихся САПР
-
в случае необходимости, в процедуре ATRG сгенерируем тестопригодные изменения
- дополнительные входы, чтоб лучше управлять состоянием схемы;
- дополнительные выходы, чтоб лучше наблюдать реакцию схемы,
- что в целом должно улучшить полноту теста до прогнозируемого уровня
- обычные САПР, анализируя тестопригодность, указывают трудности,
не говоря, как их преодолеть и тем более вряд ли прогнозируют полноту теста
-
предскажем полноту теста до и по мере внесения тестопригодных изменений
- этого нет в обычном анализе тестопригодности других САПР
- сгенерируем тест высокого качества ( TFD - test for design )
при условии, что в схеме сделаны необходимые тестопригодные
изменения и верификация проекта прошла успешно
- ATPG - редкость в обычных САПР особенно в САПР на базе IBM-PC
- выполним автоматическую верификацию проекта и
проверку каждой шины на несостоятельность - покажем, если есть, условия,
нарушающие единственность источника сигнала в шине - такого анализа нет в других САПР
- как и все, выведем тест в формате Вашей САПР или тестера
Пример здесь *
Закажите тестовое обеспечение в
TestWard Lab
*
