In reply to ben@SystemVerilog.us:
Will this not work if I just want to check clk gating during assertion of en?
assert((sys_clk|~en) == 0)
else
$error("error:")
In reply to ben@SystemVerilog.us:
Will this not work if I just want to check clk gating during assertion of en?
assert((sys_clk|~en) == 0)
else
$error("error:")