formality做hierarchical验证
时间：10-02
整理：3721RD
点击：
综合的时候采用的是bottom-up方式综合的，现在要对整个系统做形式验证，可以说是top-down的验证方式，该脚本里除了将各个子模块设置为black-box之外，还要怎么处理?每次验证都会出差，跪求大神给点指导，谢谢啦
定个啊，求高人指点迷津啊！
svf很重要。