面向HDL描述基于程序切片的自动电路抽取技术研究与实现

摘要

现代集成电路设计复杂性在不断增加，而对整个设计进行验证的效率却太低。因此，在形式化验证和模拟验证时，必须采用不同的技术来对设计中的数据通路部分和控制部分分别加以验证。大多数的验证策略都是通过从HDL设计描述中为感兴趣的部分设计提取出有用的验证信息来实现的。