The National Science Foundation (NSF) awarded a $400,000 Project Grant under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the Massachusetts Institute of Technology (MIT) for the project "COLLABORATIVE RESEARCH: FMITF: TRACK I: AVA: ARCHITECTURAL INSIGHTS FOR FORMAL VERIFICATION OF COMPUTER ARCHITECTURES." The grant, effective from October 1, 2024 to September 30, 2027, aims to address key challenges in hardware formal verification by leveraging architectural insights to make these techniques more scalable and usable for computer architects and hardware designers. The project involves four tasks: 1) developing architecture-driven abstractions, component interfaces, and invariants for functional verification of complex processors; 2) leveraging architectural insights for taint analysis and security verification of software-hardware contracts; 3) developing new formal verification methods for synthesis of architecture-driven invariants and information-leakage verification; and 4) creating an open-source prototype framework to integrate the project's techniques with existing hardware verification flows and tools. No sub-awards are planned under this grant.
Generated 3/4/25, 7:18 AM