基于VMM的SATA控制器功能验证

作者：林柏良 易凡 黄启俊 常胜验证方法学手册验证平台串行高级技术附件验证知识产权核

摘要：针对专用集成电路（ASIC）设计中功能验证的效率和完备性问题,以验证方法学手册（VMM）为基础搭建了串行高级技术附件（SATA）控制器分层式验证平台.验证组件的实现大量重用验证知识产权核（VIP）,在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社