[aosp 0]

Вопрос к специалистам.

 

На сегодня существует большое количество технолгий, инструментальных средств, сред и подходов к проведению функциональной верификации цифровых устройств.

 

Хочется понять, что, как и в каких случаях применять для тех или иных задач.

--------------------------------------------------------------------------------------------

Для начала перечислим задачи:

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 и другие опытные специалисты...