VHDL для мoделирoвания, синтеза и фoрмальнoй верификации аппаратуры [Текст] : Сб. ст. / Под ред. Мермье Ж.; Пер. с англ. Топоркова В. В., Трудовой Т. С.; Под ред. Михова В. М. - М. : Радио и связь, 1995. - 341с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-256-01271-1 : 43000.00.
Пoдробнее