Project Grant 2433972
- 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...
- 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...
- 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 $299,700 Project Grant was awarded on September 15, 2025 by the Division of Information and Intelligent Systems, a civilian agency within the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The grant supports collaborative research by the University of Texas at Austin to address challenges in designing and verifying heterogeneous shared memory processors used in critical computational applications like...
- This $300,000 Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CFDA 47.070) program will develop new hardware accelerators custom-designed for Boolean Satisfiability (SAT) problems. The project aims to achieve over 100x speedup for a wide range of critical optimization problems in areas such as hardware/software design, AI, robotics, and drug discovery that rely on SAT solvers. The research will focus on creating completely new ways...
- 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, 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 $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...
- 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 $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 for observing hardware-software interactions, generating appropriate test inputs, and establishing an objective metric to assess the quality of post-silicon software validation. The project seeks to enable high assurance in the correctness of tightly integrated hardware and software systems and will also create hands-on training modules for undergraduate and high school students. The award has an ultimate completion date of June 30, 2028 and is being led by the University of Illinois in Chicago.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $300.0k | 7/16/25 |