hayoula
Member level 1
Hi everybody,
Why do synopsys tools crash?
This is the crash log of Formality, I have similar log when other tolls of Synopsys crash:
Status: Building verification models...
Status: Processing Guide Commands...
The tool has just encountered a fatal error (SIGSEGV):
If you encountered this fatal error when using the most recent
Synopsys release, submit this stack trace and a test case that
reproduces the problem to the Synopsys Support Center by using
Enter A Call at https://solvnet.synopsys.com/EnterACall.
* For information about the latest software releases, go to the Synopsys
SolvNet Release Library at https://solvnet.synopsys.com/ReleaseLibrary.
* For information about required Operating System patches, go to
https://www.synopsys.com/support.
Release = 'C-2009.06' Architecture = 'amd64' Program = 'fm_shell'
'4250677 207838446288 5811876 5813958 5812890 5814247 5687538 8250759 8278782 8124034 6938702 6946654 6952648 5287776 4629961 4667450 4900431 4253719 9382223 30351567 34196031 34201698 34202543 30320577 30332375 30351567 34196031 34201698 34351849 34370886 34205796 34393832 30321195 4322462 207838370196'
Maximum memory usage for this session: 200740 KB
CPU usage for this session: 11.57 seconds
Thank you for using Formality (R)!
Why do synopsys tools crash?
This is the crash log of Formality, I have similar log when other tolls of Synopsys crash:
Status: Building verification models...
Status: Processing Guide Commands...
The tool has just encountered a fatal error (SIGSEGV):
If you encountered this fatal error when using the most recent
Synopsys release, submit this stack trace and a test case that
reproduces the problem to the Synopsys Support Center by using
Enter A Call at https://solvnet.synopsys.com/EnterACall.
* For information about the latest software releases, go to the Synopsys
SolvNet Release Library at https://solvnet.synopsys.com/ReleaseLibrary.
* For information about required Operating System patches, go to
https://www.synopsys.com/support.
Release = 'C-2009.06' Architecture = 'amd64' Program = 'fm_shell'
'4250677 207838446288 5811876 5813958 5812890 5814247 5687538 8250759 8278782 8124034 6938702 6946654 6952648 5287776 4629961 4667450 4900431 4253719 9382223 30351567 34196031 34201698 34202543 30320577 30332375 30351567 34196031 34201698 34351849 34370886 34205796 34393832 30321195 4322462 207838370196'
Maximum memory usage for this session: 200740 KB
CPU usage for this session: 11.57 seconds
Thank you for using Formality (R)!