И-З 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) |
И-З 97 I.69/90 И-З 97 / I.69/90-02 International conference on computer design: VLSI in computers and processors (1990 ; Cambridge). 1990 IEEE International conference on computer design: VLSI in computers and processors. Proceedings / spons. by IEEE Computer soc., IEEE Circuits a. systems soc. in coop. with IEEE Electron device soc. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - XX,477 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 475-477 Перевод заглавия: Труды международной конференции по проектированию компьютеров Рубрики: Компьютеры--Проектирование Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69/92 И-З 97 / I.69/92-02 International conference on computer design: VLSI in computers and processors (1990 ; Cambridge). 1992 IEEE International conference on computer design: VLSI in computers amd processors. Proceedings : Oct. 11-14, 1992 / spons. by IEEE Computer soc. a. IEEE Circuits a. systems soc. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XVII,605 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 603-605 Перевод заглавия: Труды международной конференции по проектированию компьютеров: БИС в компьютерах и процессорах Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): верификация -- логический синтез -- интегральные схемы Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69/91 И-З 97 / I.69/91-02 International conference on computer design: VLSI in computers and processors (1990 ; Cambridge). 1991 IEEE International conference on computer design: VLSI in computers and processors. Proceedings : ICCD'91, Roy. Sonesta Hotel, Cambridge, Mass., USA, Oct. 14-16, 1991 / Spons. by IEEE Computer soc. a. IEEE Circuits a. systems soc. in coop. with IEEE Electron devices soc. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XVI,653 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 651-653 Перевод заглавия: Труды международной конференции по проектированию компьютеров: БИС в компьютерах и процессорах Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): верификация -- логический синтез -- интегральные схемы Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |