A program differencing algorithm for verilog HDL
Introduction to Algorithms