Jha, Susmit
Seshia, Sanjit A.
Funding for this research was provided by:
National Science Foundation (1545126)
Semiconductor Research Corporation (TerraSwarm, one of six centers of STARnet)
Article History
Received: 23 April 2015
Accepted: 23 January 2017
First Online: 15 February 2017