Automatic Insertion of a Safety Mechanism for Registers in RTL-Modules

Author(s):
Holger Busch, Jonathan Ross