MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.

Robert Künnemann Hamed Nemati

Published in: ESORICS (2) (2020)

Keyphrases

hardware design
hardware implementation
fpga hardware
open source
higher order
low cost
arc consistency