Playing around debugging some complex assertions in Qeusta? Here are some tips:
1. Use vsim –assertdebug
2. Add –novopt for trivial code containing assertions + stim alone as otherwise many signals get optimized away. On real designs, perhaps you are better off with +acc* (Read doc for more)
3. Once the GUI comes up, the assertions are not listed in its own browser – ideally I would have liked to see a menu item under “Tools” menu. But it is hidden under “View –> Coverage –> Assertions” – GOK why! (GOK – God Only Knows) :)
4. Before starting simulation, enable ATV
5. After sim one can do “view ATV” for advanced debug!