序列检测器语言,verilog 数字逻辑方面的