tag:blogger.com,1999:blog-1724087381158100807.post920170340464156012..comments2023-09-13T21:21:10.484+05:30Comments on Verification Blog: IntelliGen - IntroductionSandeep Gorhttp://www.blogger.com/profile/17756641047106957907noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-1724087381158100807.post-75911295816111491532009-10-14T12:47:29.061+05:302009-10-14T12:47:29.061+05:30Very nice article, but in case of better solvabili...Very nice article, but in case of better solvability example code, it seems that igen ignores soft select constraint over soft when it resolves.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-49210360126694746002009-07-19T21:02:08.935+05:302009-07-19T21:02:08.935+05:30Excellent article, Sandeep. Thanks!
JLExcellent article, Sandeep. Thanks!<br /><br />JLJL Grayhttp://www.coolverification.com/noreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-62192926033821924272009-07-13T18:14:00.922+05:302009-07-13T18:14:00.922+05:30Ah yes, obviously you're right... stupid me, I...Ah yes, obviously you're right... stupid me, I thought the addr_hi_lo field was a list as well :-(...Avidan Efodyhttp://www.specman-verification.comnoreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-45196096688515569172009-07-13T12:44:16.798+05:302009-07-13T12:44:16.798+05:30Hi Avidan,
Thanks for your comment. The reason wh...Hi Avidan,<br /><br />Thanks for your comment. The reason why all address elements are having value 0x05 is that addr_hi_lo is generated only once. After it is generated, it decides if all address elements need to be 0x05 or 0xFF. So, if you load the same code with different seed, you will find all address elements will be either 0x05 or 0xFF. Other way of looking at it is like addr_hi_lo field corresponds to the whole address list and not each element of address list. If you want one to one relation between address and addr_hi_lo field, you can place them in a struct and then instead of having a list of address, you can have list of that struct. I hope it clears your doubt.<br /><br />-SandeepSandeep Gorhttps://www.blogger.com/profile/17756641047106957907noreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-6829396405033474712009-07-12T16:41:02.374+05:302009-07-12T16:41:02.374+05:30Hi Sandeep. A good overview. Generation order was ...Hi Sandeep. A good overview. Generation order was a patch right from the start so its good news to hear that's gone now.<br /><br />One thing I've noticed is that the results of your first example look a bit strange - i.e - all address elements get the value of 5 whereis I would expect some of them to be 99. Any idea why?Avidanhttp://www.specman-verification.comnoreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-30700501355558597262009-07-12T16:37:45.442+05:302009-07-12T16:37:45.442+05:30Hi Sandeep,
An interesting overview. Thanks. Gener...Hi Sandeep,<br />An interesting overview. Thanks. Generation order was a patch right from the start, and its good news that it is finally removed.<br /><br />One thing I've noticed is that the results of your first example from intelligen, look a bit strangs - i.e. all addr elements are 5, whereis I would expect some of them to be FF. Any idea why?Avidanhttp://www.specman-verification.comnoreply@blogger.comtag:blogger.com,1999:blog-1724087381158100807.post-83733643978814320672009-07-07T10:17:51.461+05:302009-07-07T10:17:51.461+05:30Very Good Sandeep. It's very nicely explained....Very Good Sandeep. It's very nicely explained. I would like to look forward explanation/examples for various Linting errors associated with Igen..Nishithhttps://www.blogger.com/profile/15335993904261696296noreply@blogger.com