openVeriFLA - FPGA logic analyzer