Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check.

Valery A. Vardanian, Liana B. Mirzoyan

Browse the full DATE paper archive.