Описание тега specman

Specman - это имитатор для ʻe` (IEEE 1647), языка аппаратной верификации аспектно-ориентированного программирования (АОП), который позволяет генерировать условно-случайные стимулы и покрывать их.

Specman - это инструмент EDA от Cadence Design Systems, который обеспечивает среду для работы, компиляции и отладки тестовых сред, написанных на языке e.

http://www.cadence.com/products/fv/enterprise_specman_elite