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 . 130-136.

cited authors

  • Velasquez, Alvaro; Jha, Sumit Kumar

authors

date/time interval

  • July 8, 2015 -

publication date

  • January 1, 2015

keywords

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

Location

  • MA, Boston

Conference

  • IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH)

publisher

  • IEEE

start page

  • 130

end page

  • 136