A program differencing algorithm for verilog HDL
Change detection in hierarchically structured information