In reply to probilkumar:
$rose(pulse) |=> always !pulse;
Mentor, Questa, Aldec - all support this.
VCS version available on EDA playground does Not, latest versions could support.
In reply to probilkumar:
$rose(pulse) |=> always !pulse;
Mentor, Questa, Aldec - all support this.
VCS version available on EDA playground does Not, latest versions could support.