Средства функциональной верификации в SystemVerilogстатья