Super HN

   Defining Safe Hardware Design [pdf] (people.csail.mit.edu) 3 points by rachitnigam 8 minutes ago