В монографии представлено описание одного из важных этапов проектирования топологии интегральных схем (ИС) – верификации. Изложены некоторые результаты многолетней работы автора по исследованию и проектированию интегральных микросхем различных функциональных назначений. Рассмотрен широкий круг вопросов, связанных с разработкой и верификацией топологии ИС, включая обзор и анализ информационных материалов. Представлен ряд полезных примеров, которые можно использовать в практической деятельности с учётом современных тенденций развития ИС. Несмотря на то, что книга достаточно хорошо структурирована и материал изложен вполне доступно, предполагается наличие у читателя базовых познаний в предметной области и основных понятиях программного обеспечения.
Монография предназначена для специалистов в области проектирования интегральных схем. Также она будет полезна научным работникам, инженерам-конструкторам, аспирантам и студентам специальностей, имеющих отношение к данной области.