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