Да... DSPF, SPEF во всех видах - для цифрового моделирования. SPICE - входной формат для различных клонов АНАЛОГОВЫХ симуляторов. SPECTRE - АНАЛОГОВЫЙ симулятор от Cadence, со своим собственным форматом. Он чуть менее точный, чем классический SPICE (от Synopsys, напр.), но более быстрый. У Cadence есть свой SPICE симулятор, но, честно говоря, не видел людей, к-рые им пользуются. Опять же, SPECTRE понимает SPICE формат при запуске с соответствующими ключами.
Extracted View - это Cadence view, к-рый позволяет backannotate паразиты в схему, введенную в Composer и симулять в Cadence environment (ну, т.е. в ADE, напр.) с помощью SPECTRE или Cadence SPICE,USim или HSim и что у них там еще сейчас есть.