Denali Software, Inc.
Leading IP Solutions for SoC Design and Verification
前些天Denali的几个工程师专门到我们实验室来拜访了一下，起因是我在他们网站上申请了试用版的软件。
同事们说，终于轮到我们当甲方了。

这些工程师确实是很敬业的。和我们交流了一个上午，其中一个工程师连续讲了4、5篇PPT。临到吃午饭的时候，他们最后作了一些宣传和劝诱工作，匆匆地离开了，下午还要去拜访别的客户。临走时，讲PPT的工程师还问我，是不是讲得太快了，有没有听不懂的地方。敬业的人让人敬佩。

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

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

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

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

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

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

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

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

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