formality做hierarchical验证

hzdzkjly · 发表于 2013-10-8 11:41:07

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

x

综合的时候采用的是bottom-up方式综合的，现在要对整个系统做形式验证，可以说是top-down的验证方式，该脚本里除了将各个子模块设置为black-box之外，还要怎么处理？每次验证都会出差，跪求大神给点指导，谢谢啦

hzdzkjly · 发表于 2013-10-9 14:43:43

定个啊，求高人指点迷津啊！

A1985 · 发表于 2013-10-22 10:51:48

回复 1# hzdzkjly
svf很重要。

[求助] formality做hierarchical验证