Boolean algebra, Flip-flops, K-Maps, Verilog

Sequence detectors using Mealy and Moore state diagrams