Hardware Is the New Software: Finding Exploitable Bugs in Hardware Designs