tag:blogger.com,1999:blog-11149365.post113848608550455181..comments2024-03-23T04:34:59.089+00:00Comments on Go deh!: Generate your way through the Verification quagmirePaddy3118http://www.blogger.com/profile/06899509753521482267noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-11149365.post-1138597789630993872006-01-30T05:09:00.000+00:002006-01-30T05:09:00.000+00:00To Any:A lot of IP is too large to be formally tes...To Any:<BR/>A lot of IP is too large to be formally tested, and its sheer size is what makes simulation costly.<BR/><BR/>What I'm trying to do is find a way to cut the size but leave the essence behind.<BR/><BR/>Many companies throw millions of dollars at their verification problems, and can only see things getting worse. Thats why I think such thoughts might interest others.<BR/>- Paddy.Paddy3118https://www.blogger.com/profile/06899509753521482267noreply@blogger.comtag:blogger.com,1999:blog-11149365.post-1138596953550063212006-01-30T04:55:00.000+00:002006-01-30T04:55:00.000+00:00This looks like it was written by someone with too...This looks like it was written by someone with too much education, and not enough real work experience doing verification. <BR/><BR/>There are some small things that can be designed and formally validated. The problem is that "formal" is used mostly to verify equivelance, and in the minority case where it proves assertions, n-type verification is unneeded. <BR/><BR/>Is there any more background you can give as to why this would even be interesting to anyone?<BR/><BR/>-AnyAnonymousnoreply@blogger.com