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

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

cited authors

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

authors

publication date

  • October 27, 2024

keywords

  • 40 Engineering
  • 4009 Electronics, Sensors and Digital Hardware
  • 46 Information and Computing Sciences

Digital Object Identifier (DOI)

Conference

  • Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design

publisher

  • Association for Computing Machinery (ACM)

start page

  • 1

end page

  • 9