Asynchronous signals and simulation

Consider pre-synchronizing the testbench stimulus for the purposes of a functional simulation.

-- Mike Treseler

Robert, I have named asynchronous flip-flops with a unique prefix that helps identify it as a flop where timing violations are expected. One could filter out references to this from a timing report to get a more concise report. Another. perhaps more drastic option is to find the async instances in the sdf file and change the setup and hold to "0.0". One has to be careful not to shoot oneself in the foot when doing these things.

Newman

You can use the tcheck_set command in modelsim to remove timing checks from the synchronising elements. You can remove one single check or all of them. See the example below. Note that if you try to remove nonexisting check or element Modelsim sometimes crashes :)

tcheck_set /dut_top/dut_inst/foobar1 "( PERIOD (posedge CLK) )" OFF tcheck_set /dut_top/dut_inst/foobar2_reg OFF

--Kim

Looks like a goog solution, but unfortunately this command is available in Modelsim SE and not in Modelsim PE nor Modelsim SE that we have in the office.