Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems Conference

Singireddy, Suraj, Ewetz, Rickard, Jha, Sumit. (2022). Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems . 50-53. 10.1109/AICAS54282.2022.9869979

cited authors

  • Singireddy, Suraj; Ewetz, Rickard; Jha, Sumit

authors

date/time interval

  • June 13, 2022 -

publication date

  • January 1, 2022

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Hardware & Architecture
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • crossbar
  • flow-based
  • in-memory
  • memristor

Location

  • SOUTH KOREA, Incheon

Digital Object Identifier (DOI)

Conference

  • IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS) - Intelligent Technology in the Post-Pandemic Era

publisher

  • IEEE

start page

  • 50

end page

  • 53