All Stories

  1. Boolean satisifiability helps optimizing loop pipelined hardware
  2. Unrolling Ternary Neural Networks
  3. Reconfigurable Convolutional Kernels for Neural Networks on FPGAs