TOMA HORIA A

Clock-domain-crossing specific design mutations to model silicon behavior and measure verification robustness