https://libeldoc.bsuir.by/handle/123456789/26832
Title: | Функциональная верификация с помощью языка VHDL |
Authors: | Авдеев, Н. А. |
Keywords: | разработка тестирующих программ;верификация;материалы конференций;доклады;верификация цифровых устройств;язык VHDL;VHDL;RandomPkg;CoveragePkg |
Issue Date: | 2013 |
Publisher: | БГУИР |
Citation: | Авдеев, Н. А. Функциональная верификация с помощью языка VHDL / Н. А. Авдеев // Информационные технологии и системы 2013 (ИТС 2013) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 23 октября 2013 г. = Information Technologies and Systems 2013 (ITS 2013) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2013 / редкол.: Л. Ю. Шилин [и др.]. - Минск : БГУИР, 2013. – С. 170-171. |
Abstract: | Приводится обзор функций пакетов RandomPkg и CoveragePkg, позволяющих существенно ускорить разработку тестирующих программ, использующих настраиваемую генерацию псевдослучайных тестов и функциональное покрытие, для функциональной верификации цифровых устройств. |
URI: | https://libeldoc.bsuir.by/handle/123456789/26832 |
Appears in Collections: | ИТС 2013 |
File | Description | Size | Format | |
---|---|---|---|---|
Avdeyev_Funktsionalnaya.PDF | 552.19 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.