Предлагаются алгоритмы проверки ограничений на топологических слоях, которые должны выполняться при изгтовлении интегральных схем, применительно к автоматизированным системам визуального контроля качества. Особенностью технологии является то, что проверка на удовлетворение конструкторско- технологическим требованиям выполняется на разных этапах обработки.
