多处理器系统的结构验证方法

随着近年来多处理器的出现,使得处理器的验证变得越来越重要,同时也给验证工作带来了极大的困难和挑战,越来越多的时间和精力要花在处理器的验证工作上。这篇文章将介绍一种在弱一致性多处理器系统中内存一致性的验证方法——数据染色。