ACT: Attributed Circuit Transformation System for Synthetic Circuit Generation

To ensure the efficiency of hardware security applications, it is crucial to conduct a thorough evaluation that includes both regular and edge cases of various circuit features. This diligent approach helps to identify any potential weaknesses or vulnerabilities that could compromise the security of the application. Attributed graph grammars have proven useful in cre-ating interesting and constraint-compliant structures in various design fields. In this paper, we introduce a new framework called Attributed Circuit Transformation (ACT). The ACT framework comprises a new language named the ACT language and the ACT system which are based on attributed graph grammars. The ACT framework can generate synthetic circuits that comply with specific constraints on multiple design parameters, while also being flexible and scalable. This paper provides a detailed discussion of the ACT framework and also demonstrates its usefulness through an example hardware security application involving SCOAP value analysis of the generated circuits.