tag:blogger.com,1999:blog-5963992815638142844.post1987282044846919000..comments2019-03-19T14:38:51.400+01:00Comments on Verification Gentleman: A Quick Look at SVAUnitTudor Timihttp://www.blogger.com/profile/11244280196830233694noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-5963992815638142844.post-75452596866251127592016-08-18T00:06:51.841+02:002016-08-18T00:06:51.841+02:00In my simulator, it never had any problem toggling...In my simulator, it never had any problem toggling. Are you saying that as per the LRM it shouldn&#39;t toggle? If so, could you please elaborate?Tudor Timihttps://www.blogger.com/profile/11244280196830233694noreply@blogger.comtag:blogger.com,1999:blog-5963992815638142844.post-41626291180310295952016-08-17T19:14:39.879+02:002016-08-17T19:14:39.879+02:00Note about your interface: always #1 CLK = ~CLK;
T...Note about your interface: always #1 CLK = ~CLK;<br />This will not toggle. The following would toggle: always #1 CLK &lt;= ~CLK;<br />Due to a VCS bug that should be fixed soon, I prefer to use:<br />`define CYCLE 10<br />logic CLK;<br />initial begin<br /> CLK &lt;= &#39;0;<br /> forever #(`CYCLE/2) CLK = ~CLK;<br />end<br />I will be explaining this code and other time-0 race conditions and other verification timing issues in an Austin SNUG paper at the end of September, 2016<br />Regards- Cliff CummingsCliff Cummingshttps://www.blogger.com/profile/16196194492036328642noreply@blogger.comtag:blogger.com,1999:blog-5963992815638142844.post-16141214194997561992016-08-10T23:42:24.160+02:002016-08-10T23:42:24.160+02:00The fact that it relies on UVM is a plus for me. T...The fact that it relies on UVM is a plus for me. This made it easier for me to integrate into our environment, without having to learn some other framework.<br /><br />If something needs a framework, it might as well be UVM.<br />Brianhttps://www.blogger.com/profile/00961728701700374042noreply@blogger.comtag:blogger.com,1999:blog-5963992815638142844.post-6412732573746460652016-07-25T23:31:09.755+02:002016-07-25T23:31:09.755+02:00I&#39;ve updated the post after publishing. While ...I&#39;ve updated the post after publishing. While writing, I noticed that I used some crazy inverted logic when reasoning about the test pass/fail criteria (i.e. using &quot;fail_if_*&quot; instead of &quot;pass_if_*&quot;. I also added a link to the example code.Tudor Timihttps://www.blogger.com/profile/11244280196830233694noreply@blogger.comtag:blogger.com,1999:blog-5963992815638142844.post-26358978314525909182016-07-25T19:35:15.204+02:002016-07-25T19:35:15.204+02:00Hi Tudor,
Thank you for the thorough review.
We h...Hi Tudor,<br /><br />Thank you for the thorough review.<br />We have planned several framework updates, including some that you have pointed out (e.g. UVM dependencies).<br />We value your feedback and suggestions and intend to keep SVAUnit up-to-date.<br /><br />Best regards,<br />IonutIonuț Ciocîrlanhttps://www.blogger.com/profile/05821904056695437370noreply@blogger.com