13 citations · 17 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
DAVE: Deriving Automatically Verilog from English
Hammond Pearce, Benjamin Tan, Ramesh Karri
While specifications for digital systems are provided in natural language, engineers undertake significant efforts to translate them into the programming languages understood by co…
cs.LG2020★ 2 cited
Designing Neural Networks for Real-Time Systems
Hammond Pearce, Xin Yang, Partha S. Roop +2
Artificial Neural Networks (ANNs) are increasingly being used within safety-critical Cyber-Physical Systems (CPSs). They are often co-located with traditional embedded software, an…