Hack@DAC - 46 Teams Compete to Find Security Bugs in SoC Designs