Переключательное моделирование и тестирование МОП-структур

Появление новых технологий МОП, КМОП создания сверхбольших и сверхскоростных интегральных схем, применение БиКМОП технологии требует проведения исследований, создания новых методов и программных средств моделирования таких устройств на уровне их иерархического представления. Это обусловлено новыми задачами, стоящими в области тестового диагностирования в связи с существенным расширением класса возможных неисправностей, большим размером объекта моделирования, отсутствием вентильных эквивалентов, что требует обеспечить возможность представления определенных фрагментов на переключательном уровне. Приводится исследование известных путей решения данной задачи и предлагается метод описания и моделирования иерархической структуры модифицированной сетью Петри.