aosp 0 22 октября, 2004 Опубликовано 22 октября, 2004 · Жалоба Вопрос к специалистам. На сегодня существует большое количество технолгий, инструментальных средств, сред и подходов к проведению функциональной верификации цифровых устройств. Хочется понять, что, как и в каких случаях применять для тех или иных задач. -------------------------------------------------------------------------------------------- Для начала перечислим задачи: 1.Постановка простейших экспериментов с устройством несложным устройством. 2.Проверка путем подавания входных данных / наблюдение результата. (assertion based verification) 3.Проверка путем реализации более сложных экспериментов связанных с реализацией тестовых процессов. (transaction based verification) ....[добавить/подправить/вписать английский термин]. --------------------------------------------------------------------------------------------Далее перечислим инструментальные средства для проведения верификации: 1. Quartus functional/timing симулатор 2. Modelsim 6.0 3. Aldec riviera ....[добавить/подправить/вписать основные свойства]. -------------------------------------------------------------------------------------------- Далее перечислим языки/технологии для проведения верификации, описания верификационных сред и комплексных экспериментов: 1. Verilog HDL / VHDL 2. System Verilog 3. System C 4. Vera 5. VPI, FLI, PLI.... ....[добавить/подправить/вписать основные свойства]. -------------------------------------------------------------------------------------------- Неплохо было бы раскрыть сущность, задачу применения языков программирования и интерфейсов FLI/PLI/VPI для функциональной верификации. Хотелось бы чтобы в данном деле поучаствовал oleg_rudakov, vetal и другие опытные специалисты... Цитата Поделиться сообщением Ссылка на сообщение Поделиться на другие сайты Поделиться