Equivalence Checking for Flow-Based Computing Conference

Thijssen, Sven, Jha, Sumit Kumar, Ewetz, Rickard. (2022). Equivalence Checking for Flow-Based Computing . 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

keywords

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

Location

  • CA, Olympic Valley

Digital Object Identifier (DOI)

Conference

  • IEEE 40th International Conference on Computer Design (ICCD)

publisher

  • IEEE

start page

  • 656

end page

  • 663