SecureCheck: How Secure is your Design?
In this session, we'll show how to exhaustively prove the integrity of the hardware root of trust with your RTL and a clear text, human and machine-readable spreadsheet to specify the critical storage and allowed access paths.