P people.csail.mit.edu Defining Safe Hardware Design [pdf] 41 points rachitnigam 9 months ago 5 comments