И-З 97 F75 И-З 97 / F75-02 Formal verification of hardware design : сборник / Ed. by M. Yoeli. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - IX,326 p. : Ill. - Bibliogr. at the end of the chapters - Ind.: p. 317-326 Перевод заглавия: Формальная верификация проектирования аппаратных средств ЭВМ Содержание: Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): временная логика -- верификация -- микропроцессоры Дескрипторы: сб Доп.точки доступа: Yoeli, M. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |