• Анализ методов тестирования микропроцессоровToomsalu, ArvoСинтез и диагностика цифровых устройств и систем1982 / с. 53-62
• Анализ полноты тестов для цифровых схем на модели альтернативных графовKitsnik, PeeterСинтез и диагностика цифровых устройств и систем1982 / с. 39-51
• Генерирование операндов при синтезе тестов для микропроцессоровToomsalu, Arvo; Ubar, Raimund-JohannesСинтез и диагностика цифровых устройств и систем1982 / с. 63-73
• Метод алгоритмического генерирования тестов при контроле цифровых схемGrigorjeva, Ksenja; Lohuaru, Tõnu; 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