Accession Number:



Automated Rule Checking For Hardware Security (ARCHS)

Descriptive Note:

[Technical Report, Final Report]

Corporate Author:

University of Florida Division of Sponsored Research

Personal Author(s):

Report Date:


Pagination or Media Count:



The Automated Rule Checking for Hardware Security ARCHS program aims to develop a comprehensive framework to analyze security vulnerabilities in System-on-Chips SoCs including potential untrusted third-party intellectual property IP from register-transfer level RTL to layout. The objective of ARCHS is to have an extended and holistic solution for the next generation microelectronics by incorporating security properties to the different levels of complex hardware designs. ARCHS focuses on developing security aware properties and rules to systematically identify vulnerabilities at pre-silicon design stages assessing the severity level of vulnerability with design level metrics, rules and threat levels providing design level fixes with automation and integration of tool sets to protect security assets and mitigate security vulnerabilities at early design stages guiding designers to trade off risk vs effort assessment based on the security level.

Subject Categories:

  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

[A, Approved For Public Release]