Моделирование и симуляция логических схем

Извиняюсь что, возможно, не по адресу пишу, но может тут кто подскажет.

Мне нужна программа для моделирования логических схем. Что-нибудь простенькое (Xilinx или Quartus будут избыточны). Функционал по минимуму:
1) Возможность построения блок схем.
2) Наборы элементов: комбинационные: как минимум два полных базиса И-ИЛИ-НЕ и И-НЕ; с памятью: триггеры RS и JK.
3) Возможность создания машины состояний (state machine).
4) Симуляция работы схемы.

Соотвественно для линукс или дружашая с wine.

Есть Electronic Workbench, старая Win95 версия. Новые версии - избыточны.
Под Wine не пробывал запускать.

Тему лучше в "Программное обеспечение".

AndreyMust19, очень спасибо: шустро, просто и wine как родного принял ))))

Цифровые элементы называются Gates и Comb
А триггеры - flipflops.