Florida State University was awarded a $449,882 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070).
The grant will fund collaborative research to develop automated word-level synthesis techniques for hardware code generation and verified abstraction. The research aims to advance methods for automatically synthesizing low-level hardware descriptions from high-level specifications to enable more reliable, secure and trustworthy embedded systems. Florida State University will leverage its expertise in formal methods and hardware verification to develop new techniques for generating optimized and provably correct hardware implementations. The three-year grant period will support investigator-initiated research from July 2021 through June 2024 at Florida State University's campus in Tallahassee, Florida.
Generated 1/6/24, 1:16 PM