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

• 作者: 夏军 罗莉 邓宇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 串行外设接口Flash Flash控制器 属性描述语言 断言 功能覆盖率 覆盖率驱动的验证
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 博士论文
• 页码范围: 22-24,27
• 分类号: TP368.2
• 字数: 3257字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.08.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗莉	国防科技大学计算机学院	26	233	7.0	15.0
2	夏军	国防科技大学计算机学院	25	101	6.0	9.0
3	邓宇	国防科技大学计算机学院	10	57	3.0	7.0