论文部分内容阅读
由于半导体厂商不断地将摩尔定律往前推进,系统单芯片(SoC)设计正陷入混乱的验证泥潭。验证工作在百万门SoC设计中所占整体设计的比重,根据绝大多数的估计,约占50—80%。全定制的RTL硬件模块(hardware blocks)需要定制化的验证工具。在一颗数百万门的SoC上会有数十、成百?或上千个RTL模块,这些都需要验证测试集的建立。