-
题名通用SPI Flash控制器的设计与验证
被引量：11
- 1
-
-
作者
罗莉
夏军
邓宇
-
机构
国防科技大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第8期22-24,27,共4页
-
文摘
为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。
-
关键词
串行外设接口Flash
FLASH控制器
属性描述语言
断言
功能覆盖率
覆盖率驱动的验证
-
Keywords
Serial Peripheral lnterface（SPI） Flash
Flash controller
Property Specification Language（PSL）
assertion
function coverage
coverage-driven verification
-
分类号
TP368.2
[自动化与计算机技术—计算机系统结构]
-
-
题名片上系统的模型检验
被引量：2
- 2
-
-
作者
郭建
-
机构
西安邮电学院计算机系
-
出处
《现代电子技术》
2005年第14期95-97,共3页
-
基金
国家自然科学基金(90207015)
-
文摘
片上系统(SoC)的验证是一个比较复杂的问题,仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确,是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法,针对模型检验技术,讨论了在SoC验证中的应用,指出在SoC设计中,只有把模拟仿真与形式化、半形式化的方法结合起来,才能更好的对SoC进行验证。
-
关键词
片上系统
形式化验证
模型检验
属性描述语言
-
Keywords
SoC
formal verification
model checking
property specification language
-
分类号
TP27
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名用PSL语言进行基于断言的验证方法
被引量：1
- 3
-
-
作者
杨晓峰
林涛
-
机构
同济大学超大规模集成电路研究所
-
出处
《电子设计应用》
2005年第12期89-90,共2页
-
文摘
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。
-
关键词
ABV
属性描述语言
寄存器传输级
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
TN104.3
[自动化与计算机技术—计算机科学与技术]
-
