Combinational logic synthesis for diversity in duplex systems

We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in the presence of common-mode failures. Data integrity means that the system either produces correct outputs or indicates errors when incorrect outputs are produced. Design diversity has long been used to increase the data integrity of duplex systems against common-mode failures. The conventional notion of diversity is qualitative and relies on “independent” generation of “different” implementations. In a recent paper, we presented a metric to quantify diversity among several designs. Our synthesis techniques described in this paper use the diversity metric as a cost function and maximize diversity while reducing the area overhead of the resulting diverse duplex system.

• Type: Conference
• Year: 2000
• Where: ITC
• Authors: Subhasish Mitra, Edward J. McCluskey
• Keywords: Data Integrity, Diverse Duplex System, Duplex System, Hardware, ITC 2000