Deeds is a logic network combination program (from simple gates to decoders, encoders, multiplexers and demultiplexers). It also supports sequential logic networks (from basic flip-flops to registers and counters), finite state machine architecture, and (at assembly level) microcomputer programming.
In Digital Logic, I have use it once to design several circuits for our lab work.