Методы логического и логико-временного анализа для САПР нанометровых КМОП СБИС
Гаврилов Сергей Витальевич. Методы логического и логико-временного анализа для САПР нанометровых КМОП СБИС : диссертация ... доктора технических наук : 05.13.12 / Гаврилов Сергей Витальевич; [Место защиты: Ин-т проблем проектирования в микроэлектронике РАН].- Москва, 2007.- 275 с.: ил. РГБ ОД, 71 08-5/77