Yes. The core dump file generation depends on your system settings. To make sure that it is generated please add the following command to Riviera/etc/setenv file:
ulimit -c unlimited
This is a bash shell command. It sets the maximum size for the core dump file. By default it may be set to 0. This is why you may not get a core dump file if you modify this value. When you add this command to setenv script it will be executed every time Riviera-PRO is started. This will assure generation of core dump file in case of abnormal termination of the simulator.