O ReqTracer preenche a lacuna entre as especificações e os requisitos do projeto para melhorar a produtividade e a eficácia da verificação tradicional (teste dirigido) e avançada.
ReqTracer
Determinar se os requisitos do projeto são atendidos implica em rastreá-los desde a especificação, passando pela descrição RTL e chegando aos resultados da verificação - uma prática recomendada para qualquer fluxo de projeto baseado em requisitos. O ReqTracer permite implementar e acompanhar facilmente um processo de desenvolvimento de projeto orientado por requisitos.
---