可编程逻辑阵列由于具备片内资源丰富、灵活、可重构等特点在数字信号处理、硬件加速及芯片原型验证中具有广泛的应用。块存储器作为可编程逻辑阵列中的重要片内资源,具备高速及大容量的特点。为了解决高速块存储资源功能验证时序约束要求高等不足,设计了采用跨时钟域的高速块存储器资源功能验证方法,并基于可编程逻辑阵列进行了功能仿真验证。实验结果表明,该方法能够满足640 MHz的高速块存储器资源验证需求,并且具备模块化的特点,能够方便地对大容量块存储器资源进行测试验证。