- Document
- KFO-003
- Revision
- Rev A
- Status
- Ongoing
- Type
- Updated
RTL-SecCheck
An open-source pipeline that checks AI-written hardware designs for functional and security defects.
Problem
More and more hardware code is written with the help of AI models. A design can pass its tests and still hide a security flaw.
Approach
An open-source pipeline that combines lint, simulation and formal verification with a set of security checks for common hardware weaknesses.
Plan
I’m applying it to my own designs first. Confirmed findings in other designs will be shared with their authors through responsible disclosure before anything is published.
Revision history
| Rev A | Project page |