http://www.cadence.com/Community/blogs/sd/archive/2008/07/16/is-anybody-out-there-a-software-verification-engineer.aspxIn my 2004 book, Co-Verification of Hardware and Software for ARM SoC Design , I wrote about the concept of a co-verification engineer. It&#39;s the very last section of the book. Although a lot of people told me they read the book (and some actuallyenCommunityServer 2007.1 (Build: 20917.1142)http://www.cadence.com/Community/blogs/sd/archive/2008/07/16/is-anybody-out-there-a-software-verification-engineer.aspx#12710Fri, 14 Nov 2008 18:38:41 GMT75bcbcf9-38a3-4e2e-b84b-26c8c46a9500:12710Functional Verification<p>Last week I had the pleasure of attending a DV Club lunch presentation from Dr. Henry Chang of Designers&amp;#39;</p> <img src="http://www.cadence.com/Community/aggbug.aspx?PostID=12710" width="1" height="1">http://www.cadence.com/Community/blogs/sd/archive/2008/07/16/is-anybody-out-there-a-software-verification-engineer.aspx#11491Thu, 25 Sep 2008 12:34:40 GMT75bcbcf9-38a3-4e2e-b84b-26c8c46a9500:11491Anonymous<p>Verification techniques used in hardware industry have all been defined and created in the software industry first (except maybe the random generation provided by Specman). I mean test cases suite, mutational code and even formal proof. </p> <p>All these techniques i use every day were teached me by a Software Verification Specialist (Nuclear, automative, aeronautic industry) with 20 years experience.</p> <img src="http://www.cadence.com/Community/aggbug.aspx?PostID=11491" width="1" height="1">http://www.cadence.com/Community/blogs/sd/archive/2008/07/16/is-anybody-out-there-a-software-verification-engineer.aspx#11148Thu, 04 Sep 2008 18:44:58 GMT75bcbcf9-38a3-4e2e-b84b-26c8c46a9500:11148See you at CDNLive San Jose next week - Functional Verification - Cadence Community<p>Pingback from &nbsp;See you at CDNLive San Jose next week - Functional Verification - Cadence Community</p> <img src="http://www.cadence.com/Community/aggbug.aspx?PostID=11148" width="1" height="1">