WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     | 1 |   ...   | 2 | 3 ||

Предложен алгоритм построения проверяющего теста, обнаруживающего одиночные неисправности системы безызбыточных дизъюнктивных нормальных форм. Этот тест является проверяющим для кратных константных неисправностей на полюсах логических элементов схем, построенных по системе безызбыточных ДНФ факторизационными методами синтеза, сохраняющими систему, и используемыми в современных САПР. Алгоритм позволяет существенно сократить длину теста.

Предложена архитектура дискретного устройства, устойчивого к одиночным кратковременным и перемежающимся неисправностям, требующая меньшей аппаратурной избыточности по сравнению с троированием. Неисправности возможны в любой из подсхем, в то время как при троировании подсхема голосования должна быть всегда исправна.

Список публикаций по теме диссертации 1. Матросова А.Ю., Андреева В.В. Минимизация систем булевых функций, представляющих задание на синтез самопроверяемых дискретных автоматов // Автометрия. – 2008. – Т. 44. – № 5. – С. 100–111.

2. Матросова А.Ю., Андреева В.В. Об одной проблеме синтеза самопроверяемых синхронных последовательностных устройств // Теория и техника передачи, приема и обработки информации : сборник научных трудов по материалам 7-й международной конференции. – Харьков, 2001. – С. 24–29.

3. Matrosova A., Andreeva V., Sedov Yu. Survivable Discrete Circuit Design // Proc. of the 8-th IEEE International On-Line Testing Workshop. – Isle of Bendor, 2002. – P. 44–48.

4. Matrosova A., Andreeva V. Survivable Synchronous Sequential Circuit Design // The 8-th Biennial Baltic Electronic Conference. – Tallinn, 2002. – P.

133–136.

5. Матросова А.Ю., Останин С.А., Андреева В.В., Седов Ю.В. Автоматизированный синтез самопроверяемых синхронных последовательностных схем (синхронных автоматов) // Идентификация систем и задачи управления : труды 2-ой международной конференции. Москва, 29-31 января, 2003. – М., 2003. – С. 1756–1767.

6. Матросова А.Ю., Андреева В.В. Минимизация не полностью определенных систем булевых функций, допускающих монотонную или частично монотонную реализацию // Вестник ТГУ. Приложение. – 2003. – № 6. – С. 9– 12.

7. Matrosova A., Andreeva V., Goloubeva O., Nikitin K., Sedov Yu., Ostanin S. Self-Checking and Fail-Safe Synchronous Sequential Circuit Design // Радиоэлектроника и информатика. – 2003. – № 3. – С. 107–112.

8. Matrosova A., Andreeva V., Ostanin S. Easy Testable Combinational Circuit Design // Proc. The 6th International Workshop on Boolean Problems. – Freiberg, 2004. – P. 237–244.

9. Андреева В.В. Поиск максимальных расширений интервала булева пространства // Вестник ТГУ. Приложение – 2004. – № 9 (1), – С. 3–8.

10. Андреева В.В., Матросова А.Ю. Построение минимизированного проверяющего теста, обнаруживающий неисправности безызбыточной ДНФ // Вестник ТГУ. Приложение. – 2006. – № 18. – С. 34–39.

11. Андреева В.В. Поиск некоторых максимальных расширений интервала частичной булевой функции // Вестник ТГУ. Приложение. – 2007. – № 23. – С. 12–15.

12. Матросова А.Ю., Андреева В.В., Николаева Е.А. Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям // Вестник ТГУ. – 2008. – № 3 (4). – С. 99– 109.

13. Андреева В.В. Минимизация проверяющего теста, обнаруживающего неисправности системы безызбыточных ДНФ // Перспективы развития фундаментальных наук : труды 5-ой международной конференции студентов и молодых ученых. – Томск, 2008. – С. 230–232.

14. Matrosova A., Andreeva V., Melnikov A., Nikolaeva E. Multiple stuckat fault and path delay fault testable circuit // Proceedings 7, East-West Design&Test International Symposium. – Lviv, 2008. – P. 356–364.

Pages:     | 1 |   ...   | 2 | 3 ||






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»