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

合集下载

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ＡｓｅｔｈｃｓｆｒｐｒｐｃｆａｉｎＬｎｕｇ（Ｓ）ｒｓｄｔｖｒｒｆｎｔｎｆｈｏｔｌｒｏｄｃｅｓｅｉｃｔｎｃｍｐｅｉｎｎａｃｓｒｃｅｋｏｅｔＳｅｉｃｔａｇａｅＰＬａｅｅｅｉｕｃｏｓｅｎｒｌｅｒａｅｒｉａｉｏｌｔａｄｅｈｎｅｏＰｙｉｏｕｏｙｉｏｔｃｏｅｔｖｆｏｘｙ
ｖｒｉａｉｎｑａｉｎｐｅＥｘｅｉｎａｅｕｔｓｏｈｔｆｎｔｎｃｖｒｇｅｏｅｃｎｒｌｒｏｔｉｓ１０．ｅｉｃｔｏｕｌｙａｄｓｅｄｆｔｐｒｍｅｔｌｓｌｈｗｓｔａｕｃｉｏｅａｆｔｏｔｏｌｂａｎ０％ｒｏｈｅ
ｃｅａｅｄｉｅｅｉｃｔｏｏｖｒｇ — ｒｖｎｖｒｆａｉｎｉ
ＤＯＩ１．９９．ｓ．００３２．１．８０８：Ｏ３６／ｉｎ１０ —４８２１．０ｊｓ００
１概述
串行外设接口（ｅｉｌＰｒｈｒｌＩｔｆｃ，ｐ）ＳｒｅｉｅａｎｅａｅＳ１是一种高ａｐｒ速的、全双工、同步串行通信接１３，主要用于微处理器、微控制器和外围扩展芯片之间的连接。ＳＩＰ总线接口使用４根信号线：串行时钟（Ｃ）ＳＫ，串行输入数据线（１，串行输出数Ｓ）
控制器，给出其组成结构及具体实现方法。采用基于属性描述语言（ｓ）ＰＬ的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。实验结果证明，其功能覆盖率达到了１００％。关健词：串行外设接口Ｆａｈｌｓｌｓ；Ｆａｈ控制器；属性描述语占；断言；功能覆盖率；覆盖率驱动的验证
ＦＡＳＴ
—
ＲＥＡＤ
—Fra Baidu bibliotek
ＲＡ快读）ＷＲＮ（使能）ＥＤ（，Ｅ写，ＷＲＩ写禁止）Ｄ（，Ｓ（状态寄存器）Ｒ读，ＷＲＴ — Ｒ写状态寄存器）ＩＥＳ（，ＰＯＡＭ（编程）ＳＣＯ — ＲＥ扇区擦除）ＲＧＲ页，ＥＴＲＥＡＳ（，
ｌｔｒｃ（Ｐ）ＦａｈｃｎｒｌｒｗｈｃａｅＰｌｓｓｐｏｒｍ— ａｉｇｍｅｒ．ｈｏｏｅｔｓｕｔｒｎｅｌａｏｔｏｒｉｅ．ｎｅｆｅＳＩｌｓｏｔｌ，ｉｈｔｋｓＳＩａｈａｒｇａｌｄｎｍｏｙＴｅｃｍｐｎｎｔｃｅａｄｒａｉｔｎｍｅｈｄａｅｇｖｎａｏｅＦｏｒｕｚｉ
第３７卷第８期
Ｖｌ－７０３１
・
计
算
机
工
程
２１年４月０１
Ａｐｒｌ２０１ｉｌ
ＮＯ．８
ＣｏｐｕｅｇｎｅｉｍｔｒＥｎｉｅｒｎｇ
博士论・文
文章编号：０ｏ４８０】８０２３１０—３２（ｌ０—ｏ２—０２）
［ｙｗｏｄ！ＳｒｌＰｒｈｒｌｌｔｆｃ（Ｐ）ＦａｈｌｈｃｎｒｌｒｒｐｒｐｃｆａｉｎＬｎｕｇ（Ｓ；ａｓｒｏ；ｆｎｔｎｃｖｒｇ；ＫｅｒｓｅｉｅｉｅａｎｅａｅＳＩｌｓ；Ｆａｏｔｌ；ＰｏｅｔＳｅｉｃｔａｇａｅＰＩａｐｒｓｏｅｙｉｏ）ｓｅｔｎｕｃｉｏｅａｅｉｏ
ＤｅｉｎａｒｆｅｔｏｆＧｅｒｌＳＰＩＦｌｓＣｏｒｌｅｓｇｎｄＶｅｉａｉｎ０ｎｅａｉａｈｎｔｏｌｒ
ＬＵＯ，ＡＪｎＤＥＮＧＹｕＬｉＸＩｕ，（ｏｌｅｏｏｕｅ，ｔｎｌｎｖｒｉｆｆｎｅｅｈｏｏｙＣｈｎｓａ４０７，ｈｎ）ＣｌｇｆｍｐｔｒＮａｉａＵｉｅｓｙｏｅｓｃｎｌｇ，ａｇｈ１０３ＣｉａｅＣｏｔＤｅＴ
［ｓｒｃ｜ＩｒｅｏｅｈｎｅｒｌｂｌｙｏｒｃｓｏｎａｅｉｏｅｎｈｐｐｄｔｉｐｐｒｄｓｎｅｅａＳｒｌＰｒｈｒｌＡｂｔａｔｎｏｄｒｔｎａｃｅｉｉｔｆＸｐｏｅｓｒａｄｓｖｔｐｗｒａｄｃｉａ，ｈｓａｅｅｉｓａｇｎｒｌｅｉｅｉｅａａｉｓｇａｐ
文献标识码；Ａ
中图号：Ｔ３８分类Ｐ６２．
通用ＳＩｌｓＰａｈ控制器的设计与验证Ｆ
罗莉，夏军，邓字
（国防科技大学计算机学院，长沙４０７）１０３
摘
要：为提高ｘ处理器的呵靠性、节省其芯片管脚及功耗，以串行外没接口（Ｐ）ｌｈ为程序加载存储器，设计一款通用的ＳＩＩｈＳ１ａ作ＦｓＰａＦｓ
据线（Ｏ和从设备选择线（ｃ）由于Ｓ１统接口电路设计Ｓ）ｓｓ。Ｐ系
２ＳＩｌｓＰａｈ控制器的设计与实现Ｆ
本文设计的ＳＩＦａｈ控制器支持状态寄存器的硬件保Ｐｌｓ
护模式（ｐ输入为０状态寄存器的ＳＷＤ位为１和以下厂ｗ且Ｒ）商通用的ＳＩｌｈ命令：ＮＭＡＬＲＡ普通读）ＰＦａｓＯＲ＿ＥＤ（，