Программы для моделирования цифровых схем под Linux

какие есть subj? Нужна программа, в которой можно, грубо говоря, соединить пару триггеров + несколько логических элементов, и чтобы программа могла составить временную диаграмму переключений этой схемы и прочие радости. А то сейчас в институте идет курс схемотехники, лабы пошли. Вот я и думаю, какой смысл сидеть за стендом и по полчаса искать обрыв в хитро переплетенных проводках, когда можно дома на компе за пару минут все сделать?