Formal Procedures for Connecting Terminals with a Minimum Total Wire Length | Synapse