Рассмотрена методика функциональной верификации цифровых устройств с помощью современных программных средств моделирования и верификации на примере разработанного блока двухпортовой многоочередной памяти FIFO. Приведены выбор и обоснование средств верификации, RTL-модель на языке описания аппаратуры Verilog, результаты моделирования и верификации в системах ModelSim и VCS.
МЕТОДИКА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ЦИФРОВЫХ УСТРОЙСТВ Деменкова Т.А., Певцов Е.Ф., Стотланд И.А. Электронная техника. Серия 2: Полупроводниковые приборы. 2011. № 2. С. 16-23.