При разработке современных микросхем одной из основных задач является тестирование RTL- модели. Вертификация модели микросхемы должна быть максимально полной, иначе даже небольшая ошибка может привести к значительной потере времени и средств. В статье показаны достоинства и недостатки различных подходов к моделированию, обоснована необходимость моделирования микросхемы в условиях, отражающих специфику функционирования реальной микросхемы.
