Рассматривается проблема обеспечения контроля современных систем на кристалле (СнК) как совокупность методов контролепригодного проектирования, функционального и тестового контроля. Функциональный контроль получил новое развитие применительно к СнК. Это стало возможным на основе языков описания, применения ассерций, расширяющих возможности функционального контроля, разработки и применения тестов, разрабатываемых на раз-ных этапах проектирования.
