SHF:Small:Designing Architectures to be Formally Verifiable
Research Grant
Administered By
Electrical and Computer Engineering
Awarded By
National Science Foundation
Start Date
August 15, 2014
End Date
July 31, 2018
Administered By
Electrical and Computer Engineering
Awarded By
National Science Foundation
Start Date
August 15, 2014
End Date
July 31, 2018