САПРов синтеза не так много. Есть у Synopsys (Design Compiler), есть у Cadence (Genus / RC), у Ментора - Oasys. Их лицензии исчисляются десятками-сотнями тысяч баксов в год (ломаные есть и в местных закромах). Бесплатные/фриварные синтезаторы тоже вроде бы есть - ищите темы по бесплатным тулам. Есть еще бесплатный синтезатор для математиков Espresso, который минимизирует функции без учета логического базиса, но его будет тяжело приспособить для проектирования схем.
Библиотека предоставляется фабрикой (завод, где Вы собрались микросхему выпускать), и поставляется комплектом из всевозможных форматов (поведенческое описание, спайс-нетлист, геометрия, топология и т.д.). Библиотека содержит все что нужно для проектирования: логику, триггеры, иногда защелки, клок-гейты, диоды и т.д. И в большинстве случаев, она тоже стоит денег.
|