Defining Safe Hardware Design [pdf]people.csail.mit.edu
32 points by rachitnigam 5 hours ago | 4 comments