Automated synthesis of crossbars for nanoscale computing using formal methods | IEEE Conference Publication | IEEE Xplore