开放验证库相关硕士博士期刊学术论文

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