Cadence宣布其Cadence Logic Design Team Solution的“验证型设计”组件已经过改良，为逻辑设计师大幅提高了工作效率。这些新功能能够明显克服主要的验证瓶颈，这些瓶颈已经对开发过程初期对基于断言的验证方法的有效应用造成了阻碍。