Загадочная тулза для функциональной верификации Опции

[-=Vitaly=-]

Здравствуйте!

Есть ли у Синопсиса,Кейденса или у кого-либо другого что-то похожее.

h..p://w.w.certess.com/product/

Насколько я понял эта штука проверяет качество тест-бенча, меняя дизайн и проверяя выловит ли его тест-бенч. Но как - пока непонятно.
Например функциональное покрытие Актива или Моделсима просто проверяет попали ли хотя бы 1 раз в каждую функциональную точку кода.
А эта -ужос

Спасибо!