[slawikg 0]

При перехода из одного клокового домена в другой, если эти клоки совпадают по времени. в моделсиме сигнал приобретает неопределённое состояние. Это происходит при временном симулировании (с учётом задержек). Далее автомат в RLDRAM контроллере подхватывает эту не определённость и процесс моделирования разваливается, поскольку дальше всё становится неопределённым.

Нельзя ли, как то заставить модельсим доопределить эти неопределённости?

Применяются Модельсим 6.2f и RLDRMI I 6.0.

Заранее благодарен.

[BSV 0]

Снимите галку Timing Check в параметрах симулятора.

[makc 201]

Почитайте про tcheck_set в руководстве пользователя.

[vitus_strom 0]

-- ASYNC_REG attributes added to simulate actual behaviour under

-- asynchronous operating conditions.

attribute ASYNC_REG : string;

attribute ASYNC_REG of wr_tran_frame_tog : signal is "TRUE";

[makc 201]

-- ASYNC_REG attributes added to simulate actual behaviour under

-- asynchronous operating conditions.

attribute ASYNC_REG : string;

attribute ASYNC_REG of wr_tran_frame_tog : signal is "TRUE";

 

Это только для Xilinx, на сколько я помню. А для остальных оно не подойдет.

[vitus_strom 0]

да это для Xilinx'a

[slawikg 0]

Почитайте про tcheck_set в руководстве пользователя.

 

Не понял синтаксиса, точнее куда ставить, в конструкции vsim do-файла симулятор ругается.

По поиску "tcheck_set" нашёл ключ +no_notifier

http://electronix.ru/forum/index.php?showtopic=12678&hl=.

мне помогло. Как раз что надо.

[makc 201]

Не понял синтаксиса, точнее куда ставить, в конструкции vsim do-файла симулятор ругается.

По поиску "tcheck_set" нашёл ключ +no_notifier

http://electronix.ru/forum/index.php?showtopic=12678&hl=.

мне помогло. Как раз что надо.

 

У Вас какой ModelSim? Дело в том, что эта функция, afair, есть только в QuestaSim и ModelSim SE/PE.

[slawikg 0]

У Вас какой ModelSim? Дело в том, что эта функция, afair, есть только в QuestaSim и ModelSim SE/PE.

 

ModelSim SE, но использовать tcheck_set пока нет смысло посколько ключ +no_notifier даёт результат приближённый к реальному, там где дожны быть по логике неопределённости, красные в диаграмме остались.