为了将产品尽快推向市场，大规模集成电路设计厂商在有限的设计周期内，提高芯片验证的完整性，对验证效率的追求永恒不变。同样，这也是摆在EDA厂商面前的一个巨大的挑战。