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

Design and Verification of General SPI Flash Controller

作　　者：罗莉[1] 夏军[1] 邓宇[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机工程》2011年第8期22-24,27,共4页Computer Engineering

摘　　要：为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。In order to enhance reliability of X processor and save its power and chip pad, this paper designs a general Serial Peripheral Interfacc（SPI） Flash controller, which takes SPI Flash as program-loading memory. The component structure and realization method are given. Assert checks of Property Specification Language（PSL） are used to verily functions of tile controller to decrease verification complexity and enhance verification quality and speed. Experimental result shows that function coverage of the controller obtains 100%.

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

分 类 号：TP368.2[自动化与计算机技术—计算机系统结构]