AveCEC

AveCEC支持设计全流程，能独立于任何工具实现，能处理大型设计。超过半数的设计需要 re-spin. re-spin的主要原因是功能错误；AveCEC采用数学方法， 穷尽所有情况，不需要用测试向量，确保设计实现和黄金设计一致。