This article presents a methodology for finding hardware security bugs, using Lint tools that use static analysis techniques, along with best practices for code reviews and developing test cases.
No takes yet. Share an insight, caveat, or question.
Bidmeshki et al. (2020) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: