设备接入端口模块(DAP：Device Access Port)是适用于车载微控制器片上系统可测性设计DFT环境中的IP块。作为一个设备接口，它能够在片外设备和片上设计单元间用于测试，调试和校验的通讯。 为了确保此设备接入端口模块设计的可靠性，基于e语言的验证套件成为工业中基于仿真的Specman验证环境不可或缺的一部分，尤其是此设备接入端口模块的e验证套件的可用性、可靠性和进一步的可复用性更是倍受关注。 本文在对传统的基于硬件描述语言验证方法学研究的基础上，介绍基于仿真的Specman验证方法学。按照基于仿真的Specman验证流程，首先对设备接入端口模块的协议和设计详细规范进行详细、深入的研究。然后，根据系统级验证计划，从中提取相关验证目标要求。研发的过程分两步实现。第一步，首先在模块级开发此模块的e验证套件的雏形。第二步，将其集成于系统级构架中。在最大程度复用已有验证环境的基础上，再针对JTAG相关的验证要求，开发相应的测试用例以证明此验证套件的可用性，进而提高其可靠性以及可复用性。通过在系统级使用此模块验证套件，利用Specman数据浏览器，观察模块验证套件的构架是否与目的结构相符合。最后，开发并利用两个基本验证用例，在回归测试中收集覆盖率结果。结果显示，利用文中介绍的验证套件，联合覆盖率可达到验证计划中定义的99％的功能点。本文末尾将对最后结果做以分析，并简单阐述1％的不完美结果是源自被测的设计的实施与设计详细规范不符。