24. Процедури синтезу і аналізу проекту

Маршрутом проектування називається послідовність проектних процедур, що веде до одержання необхідних проектних рішень. Приклад типового маршруту проектування: розрізування принципової схеми пристрою на частини, розміщення мікросхем на платі, розшарування між з’єднань, трасування, оформлення конструкторської документації і керуючої інформації для програмно-керованого технологічного устаткування.

Проектні процедури поділяються на процедури синтезу й аналізу.

Процедури синтезу полягають у створенні описів проектованих об'єктів. У таких описах відображаються структура і параметри об'єкта і відповідно існують процедури структурного і параметричного синтезу. Під структурою об'єкта розуміють склад його елементів і способи зв'язку елементів один з одним. Параметр об'єкта — величина, що характеризує деяку властивість об'єкта чи режим його функціонування. Прикладами процедур структурного синтезу служать синтез логічної схеми (структура якої виражається переліком вхідних до неї логічних елементів і з'єднань) чи синтез алгоритму (його структура визначається складом і послідовністю операторів). Процедура параметричного синтезу полягає в розрахунку значень параметрів елементів при заданій структурі об'єкта, наприклад геометричних розмірів інтегральних компонентів при заданому ескізі топології чи мікросхеми номіналів пасивних елементів у заданій принциповій електричній схемі.

Структурування об'єкта іноді може викликати ускладнення. Це відноситься, наприклад, до проектування інтегральних схем на компонентному рівні. Однак і тут можна умовно виділити ділянки напівпровідникового кристала і розглядати їх як елементи структури.

Процедури аналізу полягають у дослідженні проектованого об'єкта чи його опису, спрямованому на одержання корисної інформації про властивості об'єкта. Ціль аналізу — перевірка працездатності об'єкта. Часто задача аналізу формулюється як задача установлення відповідності двох різних описів того самого об'єкта. При цьому один з описів вважається первинним і його коректністю передбачається встановленою. Інший опис відноситься до більш докладного рівня чи ієрархії до іншого аспекту, і його правильність потрібно установити зіставленням з первинним описом. Таке зіставлення називається верифікацією.