Equivalence Checking for Flow-Based Computing using Iterative SAT Solving Conference

Thijssen, Sven, Rashed, Muhammad Rashedul Haq, Ahmed, Md Rubel et al. (2024). Equivalence Checking for Flow-Based Computing using Iterative SAT Solving . 10.1145/3676536.3676721

Open Access

cited authors

  • Thijssen, Sven; Rashed, Muhammad Rashedul Haq; Ahmed, Md Rubel; Singireddy, Suraj; Jha, Sumit Kumar; Ewetz, Rickard

authors

date/time interval

  • October 27, 2024 -

publication date

  • January 1, 2024

keywords

  • COMPACT CROSSBARS
  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Location

  • NY, New York City

Digital Object Identifier (DOI)

Conference

  • 43rd International Conference on Computer Aided Design-ICCAD

publisher

  • ASSOC COMPUTING MACHINERY