TY - BOOK AU - Бибило,Петр Николаевич AU - Авдеев,Николай Александрович TI - Моделирование и верификация цифровых систем на языке VHDL: [учебное пособие для студентов учреждения высшего образования по специальностям "Электронные вычислительные средства", "Вычислительные машины, системы и сети", "Программное обеспечение информационных технологий"] SN - 9785971045786 PY - 2017/// CY - Москва PB - Ленанд KW - VHDL, язык программирования KW - nlr_sh KW - Сверхбольшие интегральные схемы KW - Questa Sim, система моделирования и верификации проектов цифровых устройств KW - VHDL-код, моделирование с покрытием KW - VHDL-описание проектов цифровых систем KW - интегральные схемы на кристалле KW - VHDL-модели цифровой системы KW - VHDL-модели тестирующей программы KW - PSL, язык спецификаций процесса KW - PSL-функции KW - сверхбольшие интегральные схемы, проектирование KW - сверхбольшие интегральные схемы, верификация KW - автоматизация проектирования цифровых систем N1 - Библиогр.: с. 327-328 ER -