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