Анализ методов тестирования микропроцессоровToomsalu, ArvoСинтез и диагностика цифровых устройств и систем1982 / с. 53-62

Анализ полноты тестов для цифровых схем на модели альтернативных графовKitsnik, PeeterСинтез и диагностика цифровых устройств и систем1982 / с. 39-51

Генерирование операндов при синтезе тестов для микропроцессоровToomsalu, Arvo; Ubar, Raimund-JohannesСинтез и диагностика цифровых устройств и систем1982 / с. 63-73

Метод алгоритмического генерирования тестов при контроле цифровых схемGrigorjeva, Ksenja; Lohuaru, T.; Evartson, TeetСинтез и диагностика цифровых устройств и систем1982 / с. 75-83

Метод выбора разбиений для декомпозиции МПА с разделением входных переменныхBerkman, BorissСинтез и диагностика цифровых устройств и систем1982 / с. 93-105

Моделирование технологического процесса кремниевых силовых полупроводниковых приборов на ЭВМRang, Toomas; Velmre, EnnСинтез и диагностика цифровых устройств и систем1982 / с. 107-112

Обобщенный подход к многозначному моделированию цифровых схем на модели альтернативных графовVoolaine, A.; Pall, M.; Ubar, Raimund-JohannesСинтез и диагностика цифровых устройств и систем1982 / с. 23-37

Проектирование контрольных экспериментов в автоматизированной системе контроля цифровых автоматов "НАКС"Voolaine, A.; Jõgi, Aksel; Pall, M.Синтез и диагностика цифровых устройств и систем1982 / с. 3-21

Синтез коммутаторов на основе ПЛМ для микропроцессоров, реализующих наборы крупных операцийBožitš, V.I.; Galujev, G.A.; Sudnitsõn, AleksanderСинтез и диагностика цифровых устройств и систем1982 / с. 85-91