2021

 nach oben zur Jahresübersicht

• Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
  Verifying Dividers Using Symbolic Computer Algebra and Don’t Care Optimization
  2021 DATE, IEEE
  » Kurzfassung anzeigen« Kurzfassung verbergen
  Kurzfassung

  Our experimental results show that this method is the key for enabling the verification of large and optimized non-restoring dividers (with bit widths up to 512).

2020

 nach oben zur Jahresübersicht

• Christoph Scholl, Alexander Konrad
  Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification
  2020 Design Automation Conf., Seiten: 1 - 6
  » Kurzfassung anzeigen« Kurzfassung verbergen
  Kurzfassung

  the opposite direction. We successfully apply the method to the fully automatic formal verification of large non-restoring dividers.