Генерирование универсальных тестов для дискретных устройств на альтернативных графахUbar, Raimund-JohannesМетоды синтеза и диагностирования цифровых схем1985 / с. 51-60

Декомпозиция конечных автоматов на основе информационного критерияKeevallik, Andres; Lausmaa, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 3-11

Декомпозиция микропрограммных автоматов с разделением выходных переменныхSudnitsõn, AleksanderМетоды синтеза и диагностирования цифровых схем1985 / с. 13-18

Контрольные эксперименты с микропрограммными автоматамиKruus, MargusМетоды синтеза и диагностирования цифровых схем1985 / с. 45-50

Математическая модель для задания структуры и функций микропроцессорных БИСLohuaru, T.; Räisa, O.; Toome, T.Методы синтеза и диагностирования цифровых схем1985 / с. 75-81

О моделировании длинных входных последовательностей в дискретных устройствах, содержащих счетные структурыUbar, Raimund-Johannes; Evartson, TeetМетоды синтеза и диагностирования цифровых схем1985 / с. 61-74

Об одном подходе к формулированию целей проектированияŠendrik, M.G.; Tamm, Boris, inform.Методы синтеза и диагностирования цифровых схем1985 / с. 83-93

Оптимизация базиса сети при декомпозиции микропрограммных автоматовLeis, Paul; Ellervee, PeeterМетоды синтеза и диагностирования цифровых схем1985 / с. 19-25

Подход к организации данных для логического проектирования цифровых системAlango, Villem; Kitsnik, Peeter; Kont, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 35-43

Система автоматизации декомпозиционного синтеза дискретных управляющих устройств (DILOS)Keevallik, Andres; Sudnitsõn, Aleksander; Berkman, BorissМетоды синтеза и диагностирования цифровых схем1985 / с. 27-33