Automating Asset Identification in SystemVerilog Hardware Designs

dc.contributor.advisorTan, Benjamin
dc.contributor.authorNath, Subroto Kumer Deb
dc.contributor.committeememberKarimipour, Hadis
dc.contributor.committeememberYe, Qiang John
dc.date2025-02
dc.date.accessioned2025-01-30T15:40:43Z
dc.date.available2025-01-30T15:40:43Z
dc.date.issued2025-01-27
dc.description.abstractThe increasing complexity of hardware designs and the growing demand for secure systems have extended the responsibility of the designers. The early detection and mitigation of security flaws and vulnerabilities in the designs have increased the need for robust methodologies to identify and protect security-critical assets in the Register Transfer Level (RTL) source code. Knowing the security assets in a design is fundamental to downstream security analyses, such as threat modeling, weakness and attack point identification, and verification. This thesis presents two frameworks for automating the identification of potential primary security assets within RTL code in an Intellectual Property (IP) block. The asset identification process is traditionally performed manually and is highly resource-intensive. The first framework uses IP-specific keywords and behavioral patterns we manually identified by analyzing open-source hardware designs. The second framework identifies the signal’s behavioral and structural patterns, flow, and distribution throughout an IP block. We apply both frameworks to open-source hardware design projects and explore the outcomes. Through complex algorithms and iterative refinement, the frameworks provide a potential set of primary security assets and thus help to reduce the manual search space.
dc.identifier.citationNath, Subroto K. D. (2025). Automating asset identification in SystemVerilog hardware designs (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca.
dc.identifier.urihttps://hdl.handle.net/1880/120619
dc.language.isoen
dc.publisher.facultyGraduate Studies
dc.publisher.institutionUniversity of Calgary
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subjectHardware Security
dc.subjectAsset Identification
dc.subjectRTL
dc.subjectVerilog
dc.subjectSystemVerilog
dc.subjectHardware Designs
dc.subjectSoC
dc.subject.classificationEngineering--Electronics and Electrical
dc.titleAutomating Asset Identification in SystemVerilog Hardware Designs
dc.typemaster thesis
thesis.degree.disciplineEngineering – Electrical & Computer
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.thesis.accesssetbystudentI do not require a thesis withhold – my thesis will have open access and can be viewed and downloaded publicly as soon as possible.
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ucalgary_2025_nath_subroto.pdf
Size:
1.88 MB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.62 KB
Format:
Item-specific license agreed upon to submission
Description: