Project Grant 2505130
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program provides $600,000 to the University of Southern California (USC) for the development of a specialized hardware accelerator chip designed to dramatically improve the speed and efficiency of solving Boolean Satisfiability (SAT) problems. The project aims to create new types of accelerator chips that can solve a wide range of critical optimization...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award, with a CFDA number of 47.070, provides $1,000,000.00 in funding to the University of California, Santa Cruz (UCSC) for a project focused on developing automated AI systems to design high-performance hardware accelerators. The research aims to address a critical bottleneck in modern computer chip design by creating a unified chiplet-based design flow for zero-knowledge proof (ZKP)...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $600,000 will fund research to develop innovative cooperative stochastic local search algorithms for Boolean satisfiability (SAT) solving. The project aims to enhance collaboration between different SAT solving algorithms, both sequentially and in parallel, to create a powerful combined reasoning framework. This work will advance the state-of-the-art...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award, with a CFDA number of 47.070, provides $390,862 in funding to The Regents of the University of California, doing business as the University of California, Berkeley (UC Berkeley). The goal of this collaborative research project is to design, fabricate, and demonstrate integrated circuit chip implementations and systems that utilize "Oscillator Ising Machines" (OIMs) to...
- The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program awarded the University of California, Irvine (UCI) $249,724 on January 15, 2025 to develop an efficient compilation and synthesis flow that compiles high-level programs into domain-specific reconfigurable heterogeneous acceleration systems. The objective is to create a framework that features a heterogeneous and efficient acceleration system template combining hardened digital...
- The National Science Foundation Division of Computing and Communication Foundations awarded a $313,582 Project Grant to the Regents of the University of California, doing business as the University of California, Berkeley, to support research exploring the relationship between computational problem structure and algorithmic efficiency. Specifically, the six-month award beginning March 1, 2022 will investigate the existence of "polymorphic principles" that allow for efficient algorithms...
- The National Science Foundation (NSF) awarded a $599,337 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Regents of the University of California, doing business as the University of California, Berkeley. The award supports research to investigate Bayesian estimation and constraint satisfaction problems, with a focus on determining the minimum number of observations needed to efficiently infer hidden quantities using powerful algorithmic...
- The Regents of the University of California, Berkeley was awarded a $882,373 Project Grant by the National Science Foundation (NSF) Division of Computing and Communication Foundations under the CFDA Program 47.070 "Computer and Information Science and Engineering". The funding supports research exploring quantum algorithms, complexity, testing, and benchmarking, including efforts to develop primitives for benchmarking near-term quantum computers and foundational work on the...
- The National Science Foundation (NSF) awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Florida. The grant, titled "Collaborative Research: CSR: SMALL: SOCRATES: Post-Silicon Validation of Hardware-Software Interactions," is focused on developing a comprehensive foundational paradigm and tool suite to streamline post-silicon software validation for modern microelectronic computer chips. The key...
- The National Science Foundation (NSF) awarded a $374,845 Project Grant under the Computer and Information Science and Engineering (CISE) Federal Grant Program to the Regents of the University of California at Riverside. The grant, effective July 1, 2025 through June 30, 2030, supports research to develop analytical and algebraic methods for approximating constraint satisfaction problems (CSPs) with applications in industries such as manufacturing, scheduling, and chip design. The key products...
The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) awarded a $300,000 project grant to The Regents of the University of California, doing business as the University of California, Berkeley (UC Berkeley) to develop new hardware accelerator chips custom-designed for Boolean Satisfiability (SAT) problems. The project aims to reduce the time and energy required to solve critical computational problems in industry, defense, and scientific research by over 100x compared to existing approaches. UC Berkeley will develop novel combinations of logic circuits and memories, as well as methods and tools to create these specialized chips. The project will also advance the science of custom computing and train students in this emerging field. The results and models developed will be shared with researchers, industry, and defense experts to foster a vibrant community. The grant period runs from October 1, 2025, to September 30, 2029.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $300.0k | 7/18/25 |