Hi
I am new sva and wondering any there any free tools to use concurrent assertions.i am using YosysHQ SBY documentation
The yosys tool.it took me 2 hr to understand that syb does not support assert property.
Hi
I am new sva and wondering any there any free tools to use concurrent assertions.i am using YosysHQ SBY documentation
The yosys tool.it took me 2 hr to understand that syb does not support assert property.