通用SPI Flash控制器的设计与验证

摘要：

为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法.采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量.实验结果证明,其功能覆盖率达到了100%.

关键词：串行外设接口Flash、Flash控制器、属性描述语言、断言、功能覆盖率、覆盖率驱动的验证

所属期刊栏目：37

分类号：TP368.2(计算技术、计算机技术)

在线出版日期：2011-08-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：22-24,27