原创 《高级验证方法学》（AVM Cookbook）中文版首“发”

    今天去参观了EDA Tech Forum——Mentor Graphics一年一度的技术论坛。 riple

    一大早赶到了亚运村，还不到8点半，已经有近百人在排队注册了——“像到了火车站”。大概是为了那几个背包来的吧，不过真正有幸见到背包的人已经离开了。还是Intel大方，毕竟我们用的都是正版处理器。 riple

    原本是要到Altera的展台上索要几本数据手册的，结果只见到了两块广告牌：HardCopy II 和C2H Compiler。其他展台上还有些收获，在ARM展台上自取了三期IQ（忘了要密码），在Matlab展台上见到了Simulink HDL Coder的简介，在PADS展台上获赠了评估版的软件，在Sun工作站的展台上遭到了白眼——我问他们到底在宣传什么——跑个Linux系统能说明啥？（其实是Solaris，幸亏这话我只说了前半句，没说后半句，否则就不是白眼，而是鄙视了）感觉参展厂商的工作人员还是不够尽心，估计是对参观者的购买力缺乏信心的缘故。 riple

    今年主办方采取了一些有趣的措施：去年整本打印装订的讲稿换成了简易的活页，降低成本对谁都是好的，尤其是没必要的浪费；进入分会厅需要刷条码，参观者的兴趣和流动情况对主办方是最有用的反馈信息。高效和科学应该是今年主办方的特色。 riple

    Wally Rhines和魏少军先生的Keynote是非常精彩的，回顾了历史，展望了未来，指出了行业的发展趋势，增强了参会者对主办方的信心和对行业未来的信心。 riple

    我最感兴趣的是Track 2第一场的演示——Practical Applications of Mentor's AVM。和我一样感兴趣的同行很多，幸亏让LP大人先行占了个座位，否则连门都进不去了。 riple

    为了听懂这场演示，两周以来我每天用两个小时学习AVM Cookbook，终于在昨天看完了前四章，算是对AVM的方法学有了一个初步的认识。今年Functional Verification的主讲人又是Alan Ma，一个说不好中文的华裔，一个非常出色的Presenter，发音清晰，语速适中，互动自然，演示技巧高超。一场出色的演示提供的信息和产生的效果比我自己通读一遍300多页的英文文档要多和好很多。Alan充分利用了Powerpoint的动画功能，把一些很复杂的概念解释得很清晰，整个演示详略得当，内容充实。 riple

    在演讲之前，Mentor给参加这场演示的每一个与会者赠送了一本中文版的AVM《高级验证方法学》。从出版日期上看是07年8月，我在china-pub和google上都还搜索不到相关的信息，应该算是首“发”了。 riple

    昨天晚上我还在考虑是否把英文版的PDF打印出来，今天就得到了赠送的中文版，实在是一个惊喜。这场演讲和这本书该是今天最大的收获了。 riple

    相比之下，Synopsys的VMM首发式就“小气”了些。其实又何止是首发式，从原码开放到教程免费下载，Mentor都比Synopsys“时髦”了许多。一个开放，一个封闭，试看谁能占领更大的市场。 riple

    从支持面向对象编程（OOP）这一特点看来，AVM充分地发挥了SystemVerilog的新特性，利用了SystemC和SystemVerilog的共性，把TLM（事务级建模）用活了。也许是我对VMM了解得不深，总觉得AVM在方法论的系统性和实用性上比VMM要好许多。怪不得Cadence会与Mentor合作开发OVM，AVM比VMM应该更有前景。 riple

    今天又一大收获是遇到了以前实验室的师兄，更新了联系方式；去年也有类似的情况，遇到了本科的同学，巧得很。 riple

    顺便提一句，中译本是针对今年5月发布的最新的AVM 3.0翻译的，章节顺序上有一些调整，成电出版社出版的，有一些无伤大雅的排版印刷上的错误，而且看起来比英文版的拗口一些，还是建议大家精读英文版的，中文版的作参考，两个版本对照着看。 riple

    从网络上找来的AVM2.0中文版：   riple