verilog work "Detector.v" verilog work "TEST_Detector.v" verilog work "/home/michael/opt/Xilinx/13.4/ISE_DS/ISE//verilog/src/glbl.v"