Integrated formal methods for secure FPGA development
Abstract
The proposed project will leverage current research in high level synthesis (HLS) from functional languages to the development of high assurance FPGA applications
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Apr 02, 2019
- Source ID
- N00173191G004
Entities
People
- William Harrison
Organizations
- United States Naval Research Laboratory
- United States Navy
- University of Missouri