Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов; Известия Томского политехнического университета [Известия ТПУ]; Т. 315, № 5: Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 315, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 153-159] |
|---|---|
| Autor principal: | |
| Outros Autores: | |
| Resumo: | Заглавие с титульного листа Электронная версия печатной публикации Рассматриваются комбинационные схемы, построенные покрытием системы ROBDD-графов программируемыми логическими блоками. Показывается, что неисправность задержки каждого пути схемы проявляется как робастная. Предлагается алгоритм построения пары тестовых наборов, обнаруживающей неисправность задержки пути. Устанавливается, что один из тестовых наборов пары совпадает с тестовым набором для одиночной константной неисправности на входном полюсе программируемого логического блока, являющимся началом этого пути. Второй набор получается из первого заменой значения переменной, сопоставляемой началу пути, инверсным. Тест, обнаруживающий робастные неисправности задержек всех путей, обнаруживает все кратные неисправности задержек путей схемы. |
| Idioma: | russo |
| Publicado em: |
2009
|
| Colecção: | Управление, вычислительная техника и информатика |
| Assuntos: | |
| Acesso em linha: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v315/i5/31.pdf |
| Formato: | Recurso Electrónico Capítulo de Livro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=177445 |