[请教] formality 64bit问题

super0001

在论坛下载了好几个版本的formality， 从06 ~ 08 都有， 可在运行时无法以64bit运行。。 错误提示如下：

[root@RedHat ~]$ fm_shell -32bit
                            Formality (R)
                Version A-2008.03-SP3 -- Jul 17, 2008
              Copyright (c) 1988-2009 by Synopsys, Inc.
                         ALL RIGHTS RESERVED
This program is proprietary and confidential information of Synopsys, Inc.
and may be used and disclosed only as authorized in a license agreement
controlling such use and disclosure.

Hostname: RedHat (linux)
Current time: Mon May 11 10:08:58 2009
Loading db file '/usr/synopsys/fm2009/libraries/syn/gtech.db'
fm_shell (setup)> quit
Maximum memory usage for this session: 7500 KB
CPU usage for this session: 0.29 seconds
Thank you for using Formality (R)!


[root@RedHat ~]$ fm_shell -64bit
ERROR: The 64-bit platform has not been loaded for this workstation.
       (missing platform = amd64)


急求解决方法。。 各位大侠  有什么方法可以绕过amd64 这个限制吗？  或者有for Inter 的版本下载吗？