Project Grant 2434247

Award Date 1/15/25
Completion Date 12/31/27
Dollars Obligated $599K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Tampa, FL 33620, USA
Similar Awards
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 Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
This $800,000 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to pioneer a computing system for massive AI workloads. The project will develop new architectural and design automation tools for a reconfigurable-on-package system using "tiny chiplets" - miniaturized composable computing components. This innovative approach seeks to address the challenges related to chiplet definition,...
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 $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...
This $174,734 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) supports research at The University of North Carolina at Charlotte to develop a holistic design methodology for optimized network-on-chip communications architectures. The methodology aims to address security, reliability, performance, and energy efficiency challenges in contemporary multicore systems through a flexible, learning-enabled interconnection...
This $192,006 federal Project Grant award was provided by the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of Florida. The grant will fund the development and deployment of a semiconductor research and education cyberinfrastructure (CI) in the form of an integrated device database and machine learning models. This CI will provide semiconductor researchers with a powerful tool to lower entry barriers 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...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...

This $599,493 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a holistic framework for efficient and comprehensive validation of System-on-Chip (SoC) designs across the entire product lifecycle. The key objectives are to:

  1. Facilitate efficient pre-silicon full system validation using a communication-centric methodology.
  2. Enable learning of SoC communication models from validation traces to enable analysis and debugging.
  3. Leverage communication models and machine learning to enhance observability and post-silicon debugging.

The award, granted to the University of South Florida, focuses on overcoming limitations in existing SoC verification and validation methods, with the goal of providing greater assurance in deployed SoC designs for critical applications. The project integrates novel solutions to tie validation activities across pre-silicon and post-silicon stages, leveraging deep sequence modeling and pattern mining techniques. No subawards are planned under this grant, which has an award date of January 15, 2025 and an ultimate completion date of December 31, 2027.

Generated 5/13/25, 5:48 AM