В книге систематически изложены основные результаты, полученные авторами в следующих областях: временной анализ цифровых КМОП-схем с учетом логических ограничений; статистический временной анализ; логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем; алгоритмы характеризации элементов КМОП СБИС. Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа. Известные из литературы модели логического анализа формализованы и адаптированы к специфике цифровых КМОП-схем. Показана эффективность разработанных методов и их высокий потенциал при проектировании КМОП СБИС. Для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС, а также для студентов и аспирантов соответствующих специальностей.
V knige sistematicheski izlozheny osnovnye rezultaty, poluchennye avtorami v sledujuschikh oblastjakh: vremennoj analiz tsifrovykh KMOP-skhem s uchetom logicheskikh ogranichenij; statisticheskij vremennoj analiz; logicheskij i logiko-vremennoj analiz pomekhoustojchivosti tsifrovykh KMOP-skhem; algoritmy kharakterizatsii elementov KMOP SBIS. Osnovoj bolshinstva predlagaemykh zdes metodov javljaetsja analiz logiki raboty tsifrovoj KMOP-skhemy i ispolzovanie ee v sochetanii s metodami staticheskogo vremennogo analiza. Izvestnye iz literatury modeli logicheskogo analiza formalizovany i adaptirovany k spetsifike tsifrovykh KMOP-skhem. Pokazana effektivnost razrabotannykh metodov i ikh vysokij potentsial pri proektirovanii KMOP SBIS. Dlja nauchnykh rabotnikov i inzhenerov, spetsializirujuschikhsja v oblasti metodov matematicheskogo modelirovanija SAPR SBIS, a takzhe dlja studentov i aspirantov sootvetstvujuschikh spetsialnostej.
