Цитата(SoCVerif @ Jan 14 2009, 21:01)

Если речь идет о Line/Branch/Toggle/FSM Coverage то поиск не даст ничего. Ничего убрать не получиться. Можно ислючить некоторые заведомо не покрываемые ситуации, но и только. Это по моей практике

Лучше не исключать а делать как покрытые, а то может вылезти что-то плохое

.
Да, проблема возникает, когда есть большой проект и над ним работают несколько разработчиков. При объединении баз данных надо смотреть на то чтобы уже существующие не объединить. Можно использовать макросы, при моделировании также можно уменьшить число попаданий (по умолчанию 255 вроде). Но проблема осталась нерешенной до конца, система время от времени падала из-за размеры базы данных, однако проект был более-менее завершен 98 кодовое, 94 выражения. Можно еще поднять, но но необходимо делать вручную модель для спецефичных генерации тестов делать, что в нашем случае проблематично.