{"id":"https://openalex.org/W4313886847","doi":"https://doi.org/10.1109/icm56065.2022.10005400","title":"A UVM-based Verification Approach for MIPI DSI Low-Level Protocol layer","display_name":"A UVM-based Verification Approach for MIPI DSI Low-Level Protocol layer","publication_year":2022,"publication_date":"2022-12-04","ids":{"openalex":"https://openalex.org/W4313886847","doi":"https://doi.org/10.1109/icm56065.2022.10005400"},"language":"en","primary_location":{"id":"doi:10.1109/icm56065.2022.10005400","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icm56065.2022.10005400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101693399","display_name":"Ahmed Mohamed Ali","orcid":"https://orcid.org/0000-0002-9073-7019"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":true,"raw_author_name":"Ahmed Mohamed Ali","raw_affiliation_strings":["Ain Shams University,Computer and Systems Engineering Department,Cairo,Egypt","Computer and Systems Engineering Department, Ain Shams University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Ain Shams University,Computer and Systems Engineering Department,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"Computer and Systems Engineering Department, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039169017","display_name":"Ahmed Shalaby","orcid":"https://orcid.org/0000-0002-7326-2701"},"institutions":[{"id":"https://openalex.org/I207547235","display_name":"Benha University","ror":"https://ror.org/03tn5ee41","country_code":"EG","type":"education","lineage":["https://openalex.org/I207547235"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Ahmed Shalaby","raw_affiliation_strings":["Benha University,Computer Science Department,Benha,Egypt","Computer Science Department, Benha University, Benha, Egypt"],"affiliations":[{"raw_affiliation_string":"Benha University,Computer Science Department,Benha,Egypt","institution_ids":["https://openalex.org/I207547235"]},{"raw_affiliation_string":"Computer Science Department, Benha University, Benha, Egypt","institution_ids":["https://openalex.org/I207547235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058510297","display_name":"Sherif M. Saif","orcid":"https://orcid.org/0000-0002-9014-5590"},"institutions":[{"id":"https://openalex.org/I4210156128","display_name":"Electronics Research Institute","ror":"https://ror.org/0532wcf75","country_code":"EG","type":"facility","lineage":["https://openalex.org/I4210094263","https://openalex.org/I4210156128"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Sherif Saif","raw_affiliation_strings":["Electronics Research Institute,Computers and Systems Department,Cairo,Egypt","Computers and Systems Department, Electronics Research Institute, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Electronics Research Institute,Computers and Systems Department,Cairo,Egypt","institution_ids":["https://openalex.org/I4210156128"]},{"raw_affiliation_string":"Computers and Systems Department, Electronics Research Institute, Cairo, Egypt","institution_ids":["https://openalex.org/I4210156128"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036641211","display_name":"Mohamed Taher","orcid":"https://orcid.org/0000-0002-4808-4018"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mohamed Taher","raw_affiliation_strings":["Ain Shams University,Computer and Systems Engineering Department,Cairo,Egypt","Computer and Systems Engineering Department, Ain Shams University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Ain Shams University,Computer and Systems Engineering Department,Cairo,Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"Computer and Systems Engineering Department, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101693399"],"corresponding_institution_ids":["https://openalex.org/I107720978"],"apc_list":null,"apc_paid":null,"fwci":0.6962,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69484163,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"74","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8369748592376709},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5344345569610596},{"id":"https://openalex.org/keywords/application-layer","display_name":"Application layer","score":0.5085545778274536},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.5060252547264099},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.495486855506897},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49005329608917236},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.4674580693244934},{"id":"https://openalex.org/keywords/physical-layer","display_name":"Physical layer","score":0.4648854434490204},{"id":"https://openalex.org/keywords/protocol-stack","display_name":"Protocol stack","score":0.4527658224105835},{"id":"https://openalex.org/keywords/link-layer","display_name":"Link layer","score":0.4518170654773712},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.44980305433273315},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.4334050416946411},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.41570428013801575},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.36827367544174194},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3456411063671112},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.28282564878463745},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.25103506445884705},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22921711206436157},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14012974500656128},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.11999621987342834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8369748592376709},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5344345569610596},{"id":"https://openalex.org/C190793597","wikidata":"https://www.wikidata.org/wiki/Q189768","display_name":"Application layer","level":3,"score":0.5085545778274536},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.5060252547264099},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.495486855506897},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49005329608917236},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.4674580693244934},{"id":"https://openalex.org/C19247436","wikidata":"https://www.wikidata.org/wiki/Q192727","display_name":"Physical layer","level":3,"score":0.4648854434490204},{"id":"https://openalex.org/C38601921","wikidata":"https://www.wikidata.org/wiki/Q1757693","display_name":"Protocol stack","level":3,"score":0.4527658224105835},{"id":"https://openalex.org/C12570599","wikidata":"https://www.wikidata.org/wiki/Q2891044","display_name":"Link layer","level":3,"score":0.4518170654773712},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.44980305433273315},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.4334050416946411},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.41570428013801575},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.36827367544174194},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3456411063671112},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.28282564878463745},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.25103506445884705},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22921711206436157},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14012974500656128},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.11999621987342834},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icm56065.2022.10005400","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icm56065.2022.10005400","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2087036473","https://openalex.org/W2093722143","https://openalex.org/W2585897863","https://openalex.org/W3092001465","https://openalex.org/W3208979388","https://openalex.org/W4255444716","https://openalex.org/W6837342877"],"related_works":["https://openalex.org/W2288289463","https://openalex.org/W2019121112","https://openalex.org/W2406352538","https://openalex.org/W4249987491","https://openalex.org/W41342988","https://openalex.org/W4214918832","https://openalex.org/W2294481557","https://openalex.org/W2012229264","https://openalex.org/W3134659835","https://openalex.org/W4372268961"],"abstract_inverted_index":{"Display":[0],"Serial":[1],"Interface":[2],"(DSI)":[3],"is":[4,53,61],"a":[5,37,41,45,77,102,118,122],"high-speed":[6],"serial":[7],"interface":[8],"standard.":[9],"It":[10],"supports":[11],"display":[12],"and":[13,24,40,69,110,124,147,162,193,203],"touch":[14],"screens":[15],"in":[16,44,57],"mobile":[17,46],"devices":[18],"such":[19,138],"as":[20,139],"smartphones,":[21],"laptops,":[22],"tablets,":[23],"other":[25],"platforms.":[26],"DSI":[27,50,86,114,132,182],"describes":[28],"several":[29],"layers":[30],"that":[31,128,169],"define":[32],"the":[33,54,58,85,99,112,131,154,159,163,178,181,190,194],"detailed":[34],"interconnect":[35],"between":[36,158,189],"host":[38,160,191],"processor":[39,161,192],"peripheral":[42,164,195],"device":[43,196],"system.":[47],"The":[48],"targeted":[49],"protocol":[51,88,133,184],"layer":[52,56,89,134],"low-level":[55,87,183],"standard":[59],"which":[60],"responsible":[62],"for":[63,84],"bytes":[64],"organization,":[65],"error-checking":[66],"information":[67],"addition,":[68],"packet":[70],"formulation.":[71],"In":[72],"this":[73],"paper,":[74],"we":[75,170],"propose":[76],"constrained":[78],"random":[79],"Coverage-Driven":[80],"Verification":[81,92,104],"approach":[82,96],"(CDV)":[83],"using":[90,135],"Universal":[91],"Methodology":[93],"(UVM).":[94],"This":[95],"could":[97],"be":[98],"basis":[100],"of":[101,121,180],"standardized":[103,113],"Intellectual":[105],"Property":[106],"(VIP)":[107],"to":[108,152,176],"test":[109],"verify":[111,130],"layer.":[115,185],"We":[116],"provide":[117],"well-established":[119],"base":[120],"reusable":[123],"scalable":[125],"UVM":[126,149],"environment":[127],"can":[129,171],"various":[136],"techniques":[137],"error":[140],"injection":[141],"mechanism,":[142],"System":[143],"Verilog":[144],"Assertions":[145],"(SVA),":[146],"direct":[148],"sequences":[150],"aim":[151],"cover":[153],"different":[155],"real-life":[156,187],"scenarios":[157,188],"device.":[165],"Our":[166],"results":[167],"show":[168],"detect":[172],"all":[173],"inserted":[174],"errors":[175],"assure":[177],"functionality":[179],"Different":[186],"are":[197],"covered":[198],"with":[199],"100%":[200],"functional":[201],"coverage":[202],"93%":[204],"code":[205],"coverage.":[206]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}