如何解决SIGSEGV的问题?

bjzhaoxh77
如何解决SIGSEGV的问题?

我在red hat企业版4上运行synopsys的formality,可是到verify的match hierarchy的时候,突然报出来:处理接收到SIGSEGV,然后这个进程就被杀掉了!请问这个问题可否利用修改操作系统设置的方法解决?该如何解决这个问题,多谢了!

Largem
1. bug?
2. 这个软件是RHEL4自带的吗？
3. 如果不是，是从源码编译的，还是直接安装的？
4. 如果是直接安装的，可能不兼容？