摘要：
为提高X处理器的可靠性、节省其芯片管脚及功耗，以串行外设接口(SPI)Flash作为程序加载存储器，设计一款通用的SPI Flash控制器，给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。实验结果证明，其功能覆盖率达到了100%。
关键词:
串行外设接口Flash,
Flash控制器,
属性描述语言,
断言,
功能覆盖率,
覆盖率驱动的验证
Abstract:
In order to enhance reliability of X processor and save its power and chip pad, this paper designs a general Serial Peripheral Interface(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 verify functions of the controller to decrease verification complexity and enhance verification quality and speed. Experimental result shows that function coverage of the controller obtains 100%.
Key words:
Serial Peripheral Interface(SPI) Flash,
Flash controller,
Property Specification Language(PSL),
assertion,
function coverage,
coverage-driven verification
中图分类号:
罗莉, 夏军, 邓宇. 通用SPI Flash控制器的设计与验证[J]. 计算机工程, 2011, 37(8): 22-24.
LUO Chi, JIA Jun, DENG Yu. Design and Verification of General SPI Flash Controller[J]. Computer Engineering, 2011, 37(8): 22-24.