Project

General

Profile

Task #1185

Инструментирование Verilog-кода и отслеживание покрытия по коду

Added by Alexander Kamkin over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
Start date:
05/10/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

Инструментирование Verilog-кода и отслеживание покрытия по коду.

Во все ветви (if, case и т.п.) должна быть добавлена трассировка достижения соответствующей тестовой ситуации.

1. Парсер - Icarus Verilog (flex+bison), внутреннее представление Verilog-кода есть у Димы.
2. Трассировка с помощью средств Aspectrace (есть C API, вокруг которого нужно написать обвязки для системных задач Verilog).

Also available in: Atom PDF