Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods Conference

Velasquez, Alvaro, Jha, Sumit Kumar. (2015). Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods . PROCEEDINGS OF THE IEEE/ACM INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURES (NANOARCH 2017), 130-136.

cited authors

  • Velasquez, Alvaro; Jha, Sumit Kumar

authors

date/time interval

  • July 8, 2015 -

publication date

  • January 1, 2015

published in

keywords

  • CIRCUITS
  • Computer Science
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • LOGIC
  • MEMRISTOR
  • Science & Technology
  • Technology

start page

  • 130

end page

  • 136