A UVM-based Verification Approach for MIPI DSI Low-Level Protocol layer

计算机科学 嵌入式系统 应用层 协议(科学) 可扩展性 Verilog公司 物理层 寄主(生物学) 链接层 接口(物质) 协议栈 字节 图层(电子) 功能验证 网络数据包 计算机硬件 计算机网络 形式验证 现场可编程门阵列 操作系统 软件 无线 无线传感器网络 病理 最大气泡压力法 气泡 生物 有机化学 化学 医学 替代医学 生态学 算法
作者
Ahmed M. Ali,Ahmed Shalaby,Sherif M. Saif,Mohamed Taher
标识
DOI:10.1109/icm56065.2022.10005400
摘要

Display Serial Interface (DSI) is a high-speed serial interface standard. It supports display and touch screens in mobile devices such as smartphones, laptops, tablets, and other platforms. DSI describes several layers that define the detailed interconnect between a host processor and a peripheral device in a mobile system. The targeted DSI protocol layer is the low-level layer in the standard which is responsible for bytes organization, error-checking information addition, and packet formulation. In this paper, we propose a constrained random Coverage-Driven Verification approach (CDV) for the DSI low-level protocol layer using Universal Verification Methodology (UVM). This approach could be the basis of a standardized Verification Intellectual Property (VIP) to test and verify the standardized DSI layer. We provide a well-established base of a reusable and scalable UVM environment that can verify the DSI protocol layer using various techniques such as error injection mechanism, System Verilog Assertions (SVA), and direct UVM sequences aim to cover the different real-life scenarios between the host processor and the peripheral device. Our results show that we can detect all inserted errors to assure the functionality of the DSI low-level protocol layer. Different real-life scenarios between the host processor and the peripheral device are covered with 100% functional coverage and 93% code coverage.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
一切随风完成签到,获得积分10
1秒前
科研通AI5应助豆豆采纳,获得30
1秒前
2秒前
vffg完成签到,获得积分10
4秒前
小小柴完成签到,获得积分10
5秒前
Sonia完成签到,获得积分10
6秒前
AA完成签到,获得积分10
7秒前
9秒前
cmicha发布了新的文献求助10
11秒前
YU关注了科研通微信公众号
12秒前
细腻千秋完成签到 ,获得积分10
13秒前
XiaoNiBa完成签到 ,获得积分10
14秒前
14秒前
ifhaceoiv完成签到,获得积分10
14秒前
orixero应助康康0919ing采纳,获得10
16秒前
iamzhangly30hyit完成签到,获得积分10
17秒前
18秒前
善学以致用应助li采纳,获得10
20秒前
xiaoxiao完成签到,获得积分10
23秒前
26秒前
27秒前
打打应助宾周采纳,获得10
30秒前
脑洞疼应助yanziwu94采纳,获得10
30秒前
潺潺流水发布了新的文献求助10
31秒前
明亮访烟完成签到 ,获得积分10
31秒前
安静半双发布了新的文献求助10
31秒前
豆豆发布了新的文献求助30
32秒前
32秒前
32秒前
冷傲的小之完成签到 ,获得积分10
35秒前
35秒前
38秒前
lumia发布了新的文献求助10
38秒前
南墙以南完成签到 ,获得积分10
39秒前
orixero应助淡然的凉面采纳,获得10
40秒前
41秒前
yanziwu94发布了新的文献求助10
42秒前
oO完成签到 ,获得积分10
42秒前
康康0919ing发布了新的文献求助10
42秒前
45秒前
高分求助中
【此为提示信息,请勿应助】请按要求发布求助,避免被关 20000
Production Logging: Theoretical and Interpretive Elements 3000
CRC Handbook of Chemistry and Physics 104th edition 1000
Izeltabart tapatansine - AdisInsight 600
Introduction to Comparative Public Administration Administrative Systems and Reforms in Europe, Third Edition 3rd edition 500
Distinct Aggregation Behaviors and Rheological Responses of Two Terminally Functionalized Polyisoprenes with Different Quadruple Hydrogen Bonding Motifs 450
Individualized positive end-expiratory pressure in laparoscopic surgery: a randomized controlled trial 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号,转发送积分 3761753
求助须知:如何正确求助?哪些是违规求助? 3305518
关于积分的说明 10134626
捐赠科研通 3019564
什么是DOI,文献DOI怎么找? 1658226
邀请新用户注册赠送积分活动 791974
科研通“疑难数据库(出版商)”最低求助积分说明 754751