Перейти к содержанию
    

ncverilog & assert

при запуске irun с gui при использовании обычного concurrent assert на каждом такте системного клока проверяет некоторое свойство, при его нарушении, срабатывает ассерт, в следствие чего происходит остановка симуляции и появляется сообщение - ncsim: *E,ASRTST (...): (time 95293 NS) Assertion ... has failed

 

при запуске irun без gui появляется тоже сообщение, но симуляция не останавливается.

 

никто не сталкивался? может быть надо еще какой то ключ поставить для irun?

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Можно попробовать команду

ncsim> stop -assert -all

в tcl-интерфейсе ncsim.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Можно попробовать команду

ncsim> stop -assert -all

в tcl-интерфейсе ncsim.

 

добавил ключ -tcl для irun, стал запускаться ncsim без автоматического запуска команды run

после этого ввожу run в консоли ncsim> и симуляция прекрасно прерывается при нарушении ассерта

 

ввод stop -assert -all перед run ничего не поменял, поэтому не понял что при этом происходит, но за наводку про tcl спасибо!

 

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Присоединяйтесь к обсуждению

Вы можете написать сейчас и зарегистрироваться позже. Если у вас есть аккаунт, авторизуйтесь, чтобы опубликовать от имени своего аккаунта.

Гость
Ответить в этой теме...

×   Вставлено с форматированием.   Вставить как обычный текст

  Разрешено использовать не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отображать как обычную ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

×   Вы не можете вставлять изображения напрямую. Загружайте или вставляйте изображения по ссылке.

×
×
  • Создать...