Transparent insertion of latency-oblivious logic onto FPGAs.

Eddie Hung Tim Todman Wayne Luk

Published in: FPL (2014)

Keyphrases

modal logic
logic programming
classical logic
database
deontic logic
predicate logic
automated reasoning
logical framework
real time
proof theory
computational properties
prefetching
response time
data structure
low latency
hardware software
sound and complete axiomatization