Пакет программ, разработанных компанией SynaptiCAD для анализа работы схем. Включает 8 программ для анализа конечных элементов электронных проектов: TestBencher Pro, VeriLogger Pro, WaveFormer Pro, WaveFormer Lite, DataSheet Pro, Timing Diagrammer Pro, BugHunter, Gigawave Viewer. В этой системе синтез тестов выполняет программа TestBencher Pro, которая генерирует HDL-код для шинных синхронных и асинхронных транзакций по временным диаграммам, составляемым пользователем. Система SynaptiCAD является многоуровневой, поскольку возможна совместная работа с программами моделирования на уровнях RTL, вентильном и транзисторном.

Современные интегрированные САПР СБИС состоят из большого числа программ, различающихся ориентацией на различные проектные процедуры и разные типы схем. Наиболее известными создателями интегрированных САПР являются компании Mentor Graphics, Cadence Design Systems, Synopsys. Наряду с ними отдельные программы или группы программ предлагают многие фирмы, работающие в области ECAD. Одной из известных систем синтеза тестов является SynaptiCAD компании Simucad. В этой системе синтез тестов выполняет программа TestBencher Pro, которая генерирует HDL-код для шинных синхронных и асинхронных транзакций по временным диаграммам, составляемым пользователем. Пользователь может корректировать временные диаграммы, и TestBencher Pro их оперативно отрабатывает. Моделирование шинных операций сопровождается фиксацией неожидаемых значений сигналов и транзакций.

Функциональное моделирование (Functional Simulation) позволяет проверить правильность работы схемы. Для этих целей в пакете Libero используется широко известный продукт ModelSim. Кроме того, для генерации тестовых воздействий применяется продукт WaveFormer Lite фирмы SynaptiCAD. Трассировка проекта в выбранную пользователем ПЛИС осуществляется с помощью собственного продукта Designer, который также имеет средство анализа временных характеристик Designer's Timer tool, позволяющее провести статический анализ задержек сигналов на кристалле; средство размещения макросов ChipEdit; средство назначения контактов PinEdit. После размещения и трассировки проекта на кристалле с помощью пакета ModelSim выполняется временное моделирование (timing simulation).