Verification for Field-coupled Nanocomputing Circuits | IEEE Conference Publication | IEEE Xplore