Методи аналізу логічних кореляцій для САПР цифрових КМОП НВІС 6777

У книзі розглядаються методи та алгоритми аналізу логічних кореляцій в цифрових КМОП-схеми. Показано можливості використання логічних кореляцій для підвищення якості результатів проектування в аналізі завадостійкості і швидкодії схем. Відомі з літератури моделі логічного аналізу формалізовані і адаптовані до специфіки цифрових КМОП-схем. Показана ефективність розроблених методів та їх високий потенціал при проектуванні КМОП НВІС. Книга заснована на результатах, отриманих в Установі Російської академії наук Інституті проблем проектування в мікроелектроніці РАН (ИППМ РАН). Матеріал, викладений у книзі, є основою лекційного курсу для магістрів факультету ЕКТ Московського інституту електронної техніки, які навчаються за напрямом "Електроніка та мікроелектроніка", а також призначений для наукових працівників та інженерів, що спеціалізуються в області методів математичного моделювання САПР НВІС.