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

作者：罗莉; 夏军; 邓宇

来源：计算机工程, 2011, (08): 22-24+27.

• 串行外设接口Flash
• Flash控制器
• 属性描述语言
• 断言
• 功能覆盖率
• 覆盖率驱动的验证 Serial Peripheral Interface(SPI) Flash
• Flash controller
• Property Specification Language(PSL)
• assertion
• function coverage
• coverage-driven verification

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

• 出版日期2011
• 单位中国人民解放军国防科学技术大学