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