Project Grant 2433973
- This $300,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program will support a collaborative research project titled "SOCRATES: POST-SILICON VALIDATION OF HARDWARE-SOFTWARE INTERACTIONS." The project aims to develop a comprehensive foundational paradigm and tool suite to streamline post-silicon software validation for modern microelectronic computer chips. Key objectives include creating an architecture...
- The University of Florida was awarded a $305,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070) to develop tools and methods for information flow validation in system-on-chip designs. The three-year award running from October 1, 2022 to September 30, 2025 will support research to create a scientific foundation and comprehensive automated framework of integrated tools to systematically address challenges in...
- This $599,493.00 Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CFDA #47.070) program supports the development of a "Communication-Centric Validation Framework for System-on-Chip Designs" at the University of South Florida. The research aims to create a holistic solution that integrates novel techniques to overcome limitations in existing pre-silicon verification and post-silicon validation methods for complex system-on-chip...
- This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
- This Project Grant from the National Science Foundation supports research at the University of Southern California to develop a principled framework for modeling and analyzing the impact of hardware faults on embedded software. The award of $374,999 under the Computer and Information Science and Engineering program will fund research over four years from July 2022 to June 2026. The researchers will design an instruction-set architecture-level fault model to capture the effects of hardware...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, with a total funding of $256,157, will be used to improve the effectiveness and efficiency of post-mortem execution analysis, a technique for debugging software systems. The key innovations include embedding high-fidelity execution artifacts into low-fidelity ones, extrapolating low-fidelity artifacts into high-fidelity ones, and automatically navigating the space of execution artifacts....
- This Project Grant award, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program, supports research to address challenges in designing and verifying heterogeneous shared memory processors. The $297,000 award to the University of Utah, with a performance period from September 2025 to August 2028, aims to develop systematic methods for composing communication protocols between heterogeneous processors and...
- This $300,000 federal Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program aims to develop a new, efficient, and cost-effective testing methodology for advanced integrated circuits. The research project, led by the Georgia Tech Research Corporation, will generate compact test patterns that can effectively detect internal cell-level defects in modern ICs without relying on exhaustive circuit simulations. This approach...
- The National Science Foundation (NSF) has awarded a $600,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Delaware. The 3-year grant, awarded on October 1, 2025, will support research to develop a proactive and intelligent framework for securing system-on-chips (SoCs) against power side-channel and fault injection attacks. The project will leverage reinforcement learning and game theory to model evolving attacker-defender...
- This $300,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program supports the development of a new testing methodology to enhance the detection of internal defects in state-of-the-art integrated circuits. The research project aims to generate compact and efficient tests that can comprehensively cover a wide range of resistive defects within individual circuit cells, as well as capture the timing impact of a...
This Project Grant award of $300,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports foundational research on post-silicon validation of hardware-software interactions in modern microelectronic computer chips. The key focus is on developing a comprehensive methodology to streamline this complex and expensive process, which is critical for ensuring that low-level software works as intended on the hardware before systems are deployed. The research project will create a unique architecture for observing hardware-software interactions, methods for generating appropriate test inputs, and objective metrics to assess validation quality. The broader impacts include deriving high assurance in correctness of modern systems with tightly integrated hardware and software, as well as developing training modules to educate students on this important issue. The award has a performance period from July 15, 2025 to June 30, 2028 and is led by the University of Florida's Division of Sponsored Research.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $300.0k | 7/16/25 |