原创 Denali，一个不错的公司，一些不错的想法

    Denali Software, Inc.
    Leading IP Solutions for SoC Design and Verification
    前些天Denali的几个工程师专门到我们实验室来拜访了一下，起因是我在他们网站上申请了试用版的软件。 riple 
    同事们说，终于轮到我们当甲方了。 riple 
    这些工程师确实是很敬业的。和我们交流了一个上午，其中一个工程师连续讲了4、5篇PPT。临到吃午饭的时候，他们最后作了一些宣传和劝诱工作，匆匆地离开了，下午还要去拜访别的客户。临走时，讲PPT的工程师还问我，是不是讲得太快了，有没有听不懂的地方。敬业的人让人敬佩。 riple

    Denali是一个IP供应商，尤以Memory Verification IP著称，此外还提供一些配套的EDA工具。 riple 
    Denali的产品线可以分为Verification IP（VIP）、Design IP和ESL三类。 riple

    Verification IP
      --MMAV (Memory Modeler - Advanced Verification)
      --PureSpec
    Design IP
      --Databahn
      --Spectra
    ESL
      --Blueprint

    对于一个IP供应商来说，提供一定数量的Design IP应该不难；能够针对整个行业提供高性能的Verification IP着实不易。需要获取进一步的知识，可以访问Denali的eMemory网站。 riple 
    验证和集成是SoC时代的两大挑战。单一模块的设计应该不成问题，能够解决IP复用和相关的工程管理、设计验证才是关键。Denali提供的Blueprint正是这样一款ESL工具。需要获取进一步的知识，可以查看SPIRIT组织的工作计划，以及SystemRDL语言。 riple

    这次拜访，给了我以下几点启发： riple
1. Verilog语言提供的PLI接口结合ANSI C可以完成许多很灵活的行为级功能。尤其在构建Model时，这一灵活性给了Model相当强大的功能。给做好的Model加上不同语言的Wrapper，就可以用于不同的验证环境。 riple

2. 软件和硬件进行恰当的功能划分是很有必要的，比如Denali的MLC Nand Flash控制器IP中的ECC算法就是硬件检错、软件纠错实现的。 riple

3. 用硬件实现BCH纠错码是可行的。 riple

4. 对于Nand Flash尚未统一的接口标准，可以采用和Nor Flash类似的处理方法，通过厂商ID，由软件给硬件加载特定的操作参数，实现接口的统一。这可能也是ONFI正在做的吧，抽空要看一下ONFI，比较一下CFI。 riple

5. SPIRIT正在做的工作，对于SoC时代的设计应该是很关键的。下一步一定要关注一下SPIRIT的网站。学习XML语言也是很有必要的。 riple

6. 一个功能完善的Nand Flash控制器，能够控制多个Nand Flash芯片也是很有必要的。 riple