Знаете софт для рисования логических схем «логическими вентилями»?

Читаю книгу Чарльза Петцольда "Код. Тайный язык информатики". Возникло желание "собрать" некоторые компоненты, вроде сумматора, из "вентилей" виртуально. Подскажите ПО, которое эмулирует работу "вентилей". Google не дал того, чего хотелось бы!