１２Ｍｉｃｒｏｃｏｎｔｒｏｌｌｅｒｓ＆ＥｍｂｅｄｄｅｄＳｙｓｔｅｍｓ２０２３年第２期ｗｗｗ．ｍｅｓｎｅｔ．ｃｏｍ．ｃｎ基于ＵＶＭ平台实现ＳＤＨｏｓｔ控制器的验证刘璐１，赵启林２，李超１，戴兆麟１（１．上海电力大学电子与信息工程学院，上海２０１３０６；２．上海摩尔精英集成电路产业发展有限公司）摘要：随着数字信息技术的发展，ＳＤＨｏｓｔ控制器的应用逐渐广泛。本文对ＳＤＨｏｓｔ控制器的相关功能进行验证，基于ＵＶＭ验证方法学搭建完整的验证平台，通过直接测试和大量的随机测试案例以及Ｍａｋｅｆｉｌｅ脚本自动化编译，完成代码覆盖率以及功能覆盖率的统计，最终代码覆盖率和功能覆盖率均满足要求。ＵＶＭ验证平台以及自动化脚本的使用提升了验证效率，对验证流程做了简化，同时保证了验证的完备性。关键词：通用验证方法学；ＳＤＨｏｓｔ；功能覆盖率中图分类号：ＴＮ４０７文献标识码：ＡＶｅｒｉｆｉｃａｔｉｏｎｏｆＳＤＨｏｓｔＣｏｎｔｒｏｌｌｅｒＢａｓｅｄｏｎＵＶＭＰｌａｔｆｏｒｍＬｉｕＬｕ１，ＺｈａｏＱｉｌｉｎ２，ＬｉＣｈａｏ１，ＤａｉＺｈａｏｌｉｎ１（１．ＥｌｅｃｔｒｏｎｉｃｓａｎｄＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉｔｙｏｆＥｌｅｃｔｒｉｃＰｏｗｅｒ，Ｓｈａｎｇｈａｉ２０１３０６，Ｃｈｉｎａ；２．ＭｏｏｒｅＩｎｔｅｇｒａｔｅｄＣｉｒｃｕｉｔＩｎｄｕｓｔｒｙＤｅｖｅｌｏｐｍｅｎｔＣｏ．，Ｌｔｄ）Ａｂｓｔｒａｃｔ：Ｗｉｔｈｔｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆｔｈｅｄｉｇｉｔａｌｉｎｆｏｒｍａｔｉｏｎａｇｅ，ＳＤＨｏｓｔｃｏｎｔｒｏｌｌｅｒｉｓｗｉｄｅｌｙｕｓｅｄｉｎｍａｎｙｐｒｏｄｕｃｅｓｇｒａｄｕａｌｌｙ，ｔｈｅｆｕｎｃ－ｔｉｏｎａｌｖｅｒｉｆｉｃａｔｉｏｎｏｆＳＤＨｏｓｔｃｏｎｔｒｏｌｌｅｒｉｓｉｎｔｒｏｄｕｃｅｄ．ＢａｓｅｄｏｎＵＶＭ（ＵｎｉｖｅｒｓａｌＶｅｒｉｆｉｃａｔｉｏｎＭｅｔｈｏｄｏｌｏｇｙ），ｔｈｅｃｏｍｐｌｅｔｅｖｅｒｉｆｉｃａｔｉｏｎｐｌａｔ－ｆｏｒｍｆｏｒＳＤＨｏｓｔｖｅｒｉｆｉｃａｔｉｏｎｉｓｂｕｉｌｔ．Ｂｙｄｉｒｅｃｔｔｅｓｔａｎｄｍａｎｙｏｆｒａｎｄｏｍｔｅｓｔｃａｓｅ，ａｎｄＭａｋｅｆｉｌｅｓｃｒｉｐｔａｕｔｏｍａｔｉｃｃｏｍｐｉｌｅ，ｃｏｌｌｅｃｔｉｏｎＲＴＬｃｏｖｅｒａｇｅａｎｄｆｕｎｃｔｉｏｎｃｏｖｅｒａｇｅ，ｅｖｅｎｔｕａ...
