Рассмотрены программируемые логические интегральные схемы (ПЛИС) — наиболее перспективные полупроводниковые приборы на современном рынке и методы их верификации. Востребованность ПЛИС объясняется гибкостью их логики, достигаемой за счет избыточности архитектуры. Сложная архитектура приводит к росту стоимости изделия, возрастает и цена ошибки при разработке изделия, а верификация проекта приобретает дополнительную значимость. Дано описание этапов построения цифровой модели устройства и показана возможность учета в этой модели реальных физических процессов, наблюдаемых в полупроводниковых приборах. Ключевые слова: моделирование, ПЛИС, Verilog HDL, BSIM3v3.
