formality如何多核验证

fengzhepianzhou · 发表于 2013-9-8 16:17:57

您需要登录才可以下载或查看，没有账号？注册

x

最近一个项目，用formality两天都没有出结果，哪位大侠知道怎么加速或者用多核cpu啊？

imap · 发表于 2014-7-29 16:17:21

具体参考 Conformal_User.pdf . 例如：

compare -threads 4

set compare option -threads 4

set parallel option -threads 4

sjtusonic · 发表于 2014-7-29 16:50:29

最近一个项目，用formality两天都没有出结果，哪位大侠知道怎么加速或者用多核cpu啊？
fengzhepianzhou 发表于 2013-9-8 16:17

登录/注册后可看大图

我记得formality设并行可简单了，一句话的事儿，你去manual里面找一找。

[求助] formality如何多核验证