Specman在gen中调试OS11

Question

我在gen操作中遇到了OS11故障。这个gen操作的约束是密集的，而且它太复杂了，无法调试。

我们如何调试此故障并确定此OS11的来源？

Answer 1

OS11错误可能意味着您正在尝试取消引用NULL指针。确保加载代码(而不是编译它)以查看发生这种情况的位置(这适用于所有OS11错误，而不仅仅是约束中的错误)。编译后的代码删除了大量的调试信息(以便更快地运行)，这使得跟踪导致问题的e代码的确切部分变得困难。

Specman提供了一个强大的约束调试器，可以为您提供进一步的帮助。我记不住这些命令，但在生成失败的CFS (连接字段集)时，您必须设置一个断点。在文档中搜索break on gen。