balanced cell-based dual rail logic complementary nets compound gate synchronisation coprocessors correlation theory Cryptography differential power dual rail precharge logic dual rail structure electromagnetic analyses electromagnetic fields field programmable gate arrays fleld programmable gate array formal verification global precharge signal logic design logic gates network routing random-access storage routing repair tech security verification Side-channel analysis synchronisation