related tags: 4C5252 788E99 808C91 8FADBA 9AA9AF A1C0CC ACBBC1 ECECE2 F1F0DD desy ehsm hamburg hardware open source verilog 495656