related documents Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods Conference Proceeding