A general methodology for designing globally convergent optimization neural networks | Synapse