| |
Поляков, Г. А.
Компиляционная методика верификации статических и динамических объектов автоматического проектирования мультипараллельных цифровых устройств [Текст] / Г. А. Поляков, Д. А. Толстолужский
// Прикладная радиоэлектроника. – 2005. – 4, № 2. – 161-167.
Описывается система верификации статических и динамических объектов автоматического проектирования параллельных цифровых устройств |
