Allocation and Binding During Fault-Secure Microarchitecture Synthesis. - Sergei Sokolov; Ramesh Karri (ICCD, 1994)