Егоров Александр Андреевич. Модели и методы совместной верификации проектируемых цифровых систем на кристаллах : Дис... канд. техн. наук: 05.13.12 / Харьковский национальный ун-т радиоэлектроники. — Х., 2006. — 151л. — Библиогр.: л. 135-146.