All Stories

  1. Boolean satisifiability helps optimizing loop pipelined hardware

    Article • ACM Transactions on Reconfigurable Technology and Systems, May 2023, ACM (Association for Computing Machinery)

    Nicolai Fiege, Dr. Peter Zipf