Equivalence Checking for Flow-Based Computing Conference

Thijssen, Sven, Jha, Sumit Kumar, Ewetz, Rickard. (2022). Equivalence Checking for Flow-Based Computing . IEEE International Conference on Computer Design - VLSI in Computers and Processors, 656-663. 10.1109/ICCD56317.2022.00101

cited authors

  • Thijssen, Sven; Jha, Sumit Kumar; Ewetz, Rickard

authors

date/time interval

  • October 23, 2022 -

publication date

  • January 1, 2022

published in

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

start page

  • 656

end page

  • 663