Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Описано новий метод моделювання режимів ЗВІС і дискретних процесів зі складними часовими характеристиками, який грунтується на розпізнаванні форми хвилі, що реалізується за допомогою методів логічного програмування. Метод використано для побудови експериментальної системи ProWaves у сполученні з мовою VHDL. Систему використано для створення моделей динамічної пам'яті, інтерфейсної частини відеодекодера MPEG, протоколів зв'язку для транспортних систем та інших складних схем і протоколів.