2018/03/06 verification   hierarchical verification

IC设计中，到处都有top-down和bottom-up的思想，在formal verification里也同样存在。Formality默认就是使用top-down + bottom-up相结合的策略来做形式验证。 ......

2017/09/15 verification   hard verification by bad RLT coding style

最近项目中碰到一个hard verification，有11个点inconclusive，属于同一个module下。由于RTL是加密的，无法获知这个module的内容，这也给debug带来了一定麻烦。 ......

2017/08/23 verification   How to pass formal check

Formality Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. ......