SystemVerilog Assertions for Clock-Domain-Crossing Data Paths

Author(s):
Don Mills