计算机工程2011，Vol.37Issue(8)：22-24,27,4.DOI:10.3969/j.issn.1000-3428.2011.08.008
通用SPI Flash控制器的设计与验证
Design and Verification of General SPI Flash Controller
罗莉 1夏军 1邓宇1
作者信息
- 1. 国防科技大学计算机学院,长沙,410073
- 折叠
摘要
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％.关键词
串行外设接口Flash/Flash控制器/属性描述语言/断言/功能覆盖率/覆盖率驱动的验证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,27,4.
