• 基于断言的功能验证方法研究及其应用

    基于断言的功能验证方法研究及其应用

    论文摘要功能验证是现代IC设计中最主要的挑战之一,它已成为芯片设计中的瓶颈。本文主要研究的内容是基于断言的功能验证方法ABV(Assertion-BasedVerificati...