Проблемы с post-layout симуляцией, В Actel IDE через ModelSim Опции

[Muscat]

Добрый день!
Возникла необходимость проводить пост-синтезную и пост-разводочную симуляцию.
Для проверки был написан простенький проект счетчика с тестбенчем к нему, который находится в прилагаемом архиве.
Постсинтезная симуляция проходит прекрасно. А вот с пост-разводочной возникают проблемы.

В консоле модел-сима появляются следующие сообщения
# Loading instances from C:/Actelprj/RoadMap_Test_Project/designer/impl1/counter_ba.sdf
# ** Error: (vsim-SDF-3250) C:/Actelprj/RoadMap_Test_Project/designer/impl1/counter_ba.sdf(0): Failed to find INSTANCE '/counter_0'.
# ** Error: (vsim-SDF-3894) : Errors occured in reading and resolving instances from compiled SDF file(s).
# ** Error: (vsim-SDF-3250) C:/Actelprj/RoadMap_Test_Project/designer/impl1/counter_ba.sdf(0): Failed to find INSTANCE '/counter_0'.

Так как я ссылку на counter_0 тоже не смог найти, то попробовал вбить команду вручную
vsim -L proasic3l -L postlayout -t 1ps -sdftyp /counter_0=${PROJECT_DIR}/designer/impl1/counter_ba.sdf postlayout.TestBench_Counter_2
add wave /TestBench_Counter_2/*
Однако, это привело к тому же результату.

Подскажите, как исправить эту ошибку?

Версия Libero 9.0.3.7 SPA3

Прикрепленные файлы

 RoadMap_Test_Project.zip ( 1.72 мегабайт ) Кол-во скачиваний: 13

 

[Kuzmi4]

2 Muscat
у вас в "TestBench_Counter_2" "испытуемый" называется

Код

...
p1: counter port map(clk,CLR,Q);
..

Откуда вы вообще взяли этот /counter_0 ??

Должно быть что то типа такого:

Код

vsim -sdfmax /TestBench_Counter_2/p1=counter_ba.sdf work.TestBench_Counter_2

[Muscat]

Я сам удивился Counter_0, то просто Counter тоже не помогало.
Проблема решилась, Кузьмич - спасибо за помощь!

[gosu-art]

Это стандартный вопрос для тех, кто начинает работать в Libero )))
обсуждался тут http://electronix.ru/forum/index.php?showt...42&hl=actel