RUTH DAVID B

Validating the synchronization of lock step operated circuits