Verifying clock-domain crossing at RTL IP level using coverage-driven methodology Author(s): Jean-François Vizier, Dennis Ramaekers, and Zheng Hai Zhou Download
