Подскажите какие-нибудь решения для построения комбинационной схемы и диаграммы временных задержек

Возникла острая необходимость в построении комбинационной схемы и диаграммы временных задержек.
Поэтому просьба написания названия каких-нибудь программ, позволяющих это сделать.
Ну и было бы приятным бонусом увидеть какую-нибудь программку, позволяющую красиво (и желательно быстро) оформить таблицы истинности и диаграммы Вейча-Карно

Всем заранее спасибо!