01301nam a2200325Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020001500112040002100127035002000148050002700168082002000195100001700215245014000232260006100372300002600433504006400459533015200523650003900675650002600714655002900740700001800769700002800787710001700815856012600832999001700958ebr10127906CaPaEBRm        u        cr cn|||||||||050727s2005    ne a    sb    001 0 eng d  z  2005299338  z0127518037  aCaPaEBRcCaPaEBR  a(OCoLC)6140020814aTK7874.58b.W55 2005eb04a621.3815/482221 aWile, Bruce.10aComprehensive functional verification the complete industry cycleh[electronic resource] /cBruce Wile, John C. Goss, Wolfgang Roesner.  aAmsterdam ;aBoston :bElsevier/Morgan Kaufmann,cc2005.  axxiii, 676 p. :bill.  aIncludes bibliographical references (p. 657-662) and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aIntegrated circuitsxVerification. 0aComputer engineering. 7aElectronic books.2local1 aGoss, John C.1 aRoesner, W.q(Wolfgang)2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10127906zAn electronic book accessible through the World Wide Web; click to view  c81985d81985