Никогда с этим не сталкивался. До этого делал IO-пады, в основном с аналоговыми делами. Там это не надо было. Теперь вот сваял элемент задержки (инвертор, RC-цепь, триггер шмитта, буфер) - и надо на это дело сваять .lib со всеми таймингами, питаловом, и т.д. Даже 3 штуки lib для трех вариаций процесса. Где есть в синопсисе средства автоматизации этого дела? Что для этого надо? А то вручную по результатам спайса больно долго и муторно.