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
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
海丽完成签到 ,获得积分10
刚刚
zenabia完成签到 ,获得积分10
1秒前
yihuifa完成签到 ,获得积分10
4秒前
不安的晓灵完成签到 ,获得积分10
9秒前
尹沐完成签到 ,获得积分10
10秒前
自然亦竹完成签到,获得积分10
10秒前
等待香寒完成签到 ,获得积分10
11秒前
courage完成签到 ,获得积分10
13秒前
乐乐应助黑球采纳,获得10
15秒前
Jasper应助阳光的傲儿采纳,获得10
16秒前
刘秀完成签到 ,获得积分10
19秒前
王一生完成签到,获得积分10
22秒前
伯爵完成签到 ,获得积分10
25秒前
27秒前
29秒前
缓慢的绿草完成签到,获得积分10
29秒前
30秒前
元神完成签到 ,获得积分10
31秒前
32秒前
FashionBoy应助甜甜晓露采纳,获得10
38秒前
忆韶完成签到,获得积分10
38秒前
圆圆酱完成签到 ,获得积分10
39秒前
小不完成签到 ,获得积分10
41秒前
wp4455777完成签到,获得积分10
45秒前
思源应助科研通管家采纳,获得10
53秒前
薰硝壤应助科研通管家采纳,获得10
53秒前
薰硝壤应助科研通管家采纳,获得10
53秒前
薰硝壤应助科研通管家采纳,获得10
53秒前
sunzhou2008完成签到,获得积分10
54秒前
雷锋完成签到 ,获得积分10
56秒前
聪慧语山完成签到 ,获得积分10
58秒前
和平使命应助请叫我鬼才采纳,获得10
1分钟前
golfgold完成签到,获得积分10
1分钟前
xz完成签到 ,获得积分10
1分钟前
hdc12138完成签到,获得积分10
1分钟前
小小雨泪完成签到,获得积分10
1分钟前
沉静寒云完成签到 ,获得积分10
1分钟前
科研科研完成签到 ,获得积分10
1分钟前
潇洒醉山完成签到 ,获得积分10
1分钟前
hanliulaixi完成签到 ,获得积分10
1分钟前
高分求助中
좌파는 어떻게 좌파가 됐나:한국 급진노동운동의 형성과 궤적 2500
Sustainability in Tides Chemistry 1500
TM 5-855-1(Fundamentals of protective design for conventional weapons) 1000
Cognitive linguistics critical concepts in linguistics 800
Threaded Harmony: A Sustainable Approach to Fashion 799
Livre et militantisme : La Cité éditeur 1958-1967 500
氟盐冷却高温堆非能动余热排出性能及安全分析研究 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3052652
求助须知:如何正确求助?哪些是违规求助? 2709891
关于积分的说明 7418319
捐赠科研通 2354494
什么是DOI,文献DOI怎么找? 1246122
科研通“疑难数据库(出版商)”最低求助积分说明 605951
版权声明 595921