Page 44 - 4652

- фізичні характеристики, такі як площа, споживана
потужність.
ТЗ на програмну складову повинно включати розділи:
- функціонування;
- часові параметри;
- швидкодія;
- інтерфейси до апаратних компонент;
- структура ПЗ, блок-схеми.
Традиційно, специфікація описується звичайною мовою в
письмовому вигляді.
Типи специфікації прийнято поділяти на:
- формальні;
- виконавчі.
При формальній специфікації необхідні параметри
системи є незалежними від способу їх реалізації. Розроблені
методики опису систем даним підходом та перевірки
коректності їх опису. Зокрема, для опису проекту, що має
реалізовуватись мовою VHDL розроблена мова специфікації
VSPEC. Дана мова дозволяє провести опис не тільки
функціонування системи але і окреслити необхідні
характеристики, такі як споживана потужність,
продуктивність і т.п. На сучасному етапі формальна
специфікація не використовується широко для комерційних
проектів, а використовується в більшості дослідницьких
проектів.
Виконавча специфікація є більш прийнятною для опису
функціонування системи. Виконавча специфікація є
абстрактною моделлю функціонування апаратних та
програмних компонентів системи. На високому рівні для
опису системи використовується мова програмування С, С++
чи деякі варіанти мови С такі як SystemC або Hardware
Verification Language (HVL). Можуть також
використовуватись мови опису апаратних засобів VHDL,
Verilog. Розробка виконавчої специфікації є ефективною та
дозволяє перевірити ключові моменти функціонування
системи.

42