Как вызвать пересечение часового домена в Questa CDC?

Question

Есть ли команда для вызова Clock Domain Crossing (CDC) в Questa CDC? Я ищу что-то вроде в midelsim .vsim для симуляции, в каденции simvision.

Answer 1

Все это должно работать из командной строки Linux. Более новые версии используют qverify.
GUI:

qverify &   
qcdc &  

Пакетный режим:

qverify -c -do $WORK/cdc/scripts/cdc.do -od $WORK/cdc/results   
qcdc -c -do $WORK/cdc/scripts/cdc.do -od $WORK/cdc/results