研发埠

标题: Witness的优化功能是怎么使用的？ [打印本页]

作者: 小松 时间: 2013-6-7 15:07
标题: Witness的优化功能是怎么使用的？

作者: 王琦 时间: 2013-6-7 16:21
在使用优化功能之前我们必须要知道我们要实现的目的是什么，然后根据目的定义函数，在设置一些边界条件，然后witness就可以自动优化出不同的结果

欢迎光临研发埠 (http://bbs.yanfabu.com/)