SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS)

NSF Award Search · 01002526DB NSF RESEARCH & RELATED ACTIVIT · $900,000 · view on nsf.gov ↗

Abstract

The growing demand for smart and autonomous systems has driven a surge in the deployment of edge devices. However, the limited computational resources and energy constraints of these devices pose significant challenges for deploying complex deep neural networks (DNNs). Optimizing DNNs for edge devices is crucial to unlock their full potential and enable a wider range of innovative applications. This project’s novelties lie in developing a new generation of tools that can automatically generate hardware accelerators for edge devices while satisfying latency and hardware platform constraints. This project’s impact is to enable high-performance DNN models with high accuracy and fast response to be synthesized in constrained hardware such as Virtual Reality (VR)/Augmented Reality (AR) or assistive robotics will positively change social perception and confidence towards using these future ubiquitous systems. Our approach integrates multi-task learning, neurosymbolic Artificial Intelligence (AI), and high-level synthesis to create accelerators that meet strict latency and hardware platform constraints. In particular, this project introduces NeuHLS, a neurosymbolic approach for merging, compressing, and synthesizing DNNs. NeuHLS’s primary objective is to develop a flexible and efficient framework that balances accuracy, hardware utilization, and latency. In addition, the synthesized hardware must maximize the number of DNN weights implemented using software tunable parameters to

Key facts

NSF award ID
2504809
Awardee
University of California-Irvine (CA)
SAM.gov UEI
MJC5FCYQTPE6
PI
Salma Elmalaki
Primary program
01002526DB NSF RESEARCH & RELATED ACTIVIT
All programs
MEDIUM PROJECT, Formal Methods and Verification
Estimated total
$900,000
Funds obligated
$900,000
Transaction type
Standard Grant
Period
10/01/2025 → 09/30/2029