{"id":"https://openalex.org/W4308090771","doi":"https://doi.org/10.1109/hpec55821.2022.9926321","title":"Towards a Generic UVM","display_name":"Towards a Generic UVM","publication_year":2022,"publication_date":"2022-09-19","ids":{"openalex":"https://openalex.org/W4308090771","doi":"https://doi.org/10.1109/hpec55821.2022.9926321"},"language":"en","primary_location":{"id":"doi:10.1109/hpec55821.2022.9926321","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpec55821.2022.9926321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE High Performance Extreme Computing Conference (HPEC)","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/A5110667177","display_name":"Kholoud Mahmoud","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":true,"raw_author_name":"Kholoud Mahmoud","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036161382","display_name":"Randa I. Ahmed","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Randa Ahmed","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064472688","display_name":"Karim Ayman","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Karim Ayman","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011544925","display_name":"Mostafa Aymau","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mostafa Aymau","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040596355","display_name":"Waleed Taie","orcid":null},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Waleed Taie","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014374904","display_name":"Yasser Ibrahim","orcid":"https://orcid.org/0000-0003-2546-9764"},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Yasser Ibrahim","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063929219","display_name":"Hassan Mostafa","orcid":"https://orcid.org/0000-0003-0043-5007"},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Hassan Mostafa","raw_affiliation_strings":["Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt"],"affiliations":[{"raw_affiliation_string":"Cairo University,Faculty of engineering,Department of electronics and communications,Giza,Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Department of electronics and communications, Faculty of engineering, Cairo University, Giza, Egypt","institution_ids":["https://openalex.org/I145487455"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028133110","display_name":"Khaled Salah","orcid":"https://orcid.org/0000-0002-2310-2558"},"institutions":[{"id":"https://openalex.org/I4210137693","display_name":"Siemens (United States)","ror":"https://ror.org/04axb7e79","country_code":"US","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210137693"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Khaled Salah","raw_affiliation_strings":["Siemens Digital Industries Software,Fremont,USA","Siemens Digital Industries Software, Fremont, USA"],"affiliations":[{"raw_affiliation_string":"Siemens Digital Industries Software,Fremont,USA","institution_ids":["https://openalex.org/I4210137693"]},{"raw_affiliation_string":"Siemens Digital Industries Software, Fremont, USA","institution_ids":["https://openalex.org/I4210137693"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5110667177"],"corresponding_institution_ids":["https://openalex.org/I145487455"],"apc_list":null,"apc_paid":null,"fwci":0.6812,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67225014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8491930365562439},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.6581649780273438},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6550147533416748},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5252339839935303},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5183483362197876},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5038575530052185},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.48599371314048767},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.47329181432724},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.45295676589012146},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4304405152797699},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3891739845275879},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.37634509801864624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.238056480884552},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20207944512367249},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.1995144486427307},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.12172654271125793},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.11634644865989685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8491930365562439},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.6581649780273438},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6550147533416748},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5252339839935303},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5183483362197876},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5038575530052185},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.48599371314048767},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.47329181432724},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.45295676589012146},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4304405152797699},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3891739845275879},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.37634509801864624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.238056480884552},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20207944512367249},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.1995144486427307},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.12172654271125793},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.11634644865989685}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpec55821.2022.9926321","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpec55821.2022.9926321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE High Performance Extreme Computing Conference (HPEC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2962898432","https://openalex.org/W2035244079","https://openalex.org/W4205300843","https://openalex.org/W4301348901","https://openalex.org/W2138343703","https://openalex.org/W2373681493","https://openalex.org/W2169347147","https://openalex.org/W2079875915","https://openalex.org/W2004066214","https://openalex.org/W2756079799"],"abstract_inverted_index":{"In":[0],"the":[1,27,41,50,78,95,171,179,189,200,214],"modern":[2],"era":[3],"of":[4,46,77,127,217],"CPU":[5,210],"complexity":[6],"advancements,":[7],"Processor":[8],"verification":[9,21,59,80,97,121,149],"has":[10],"always":[11],"been":[12],"an":[13,63],"ever-increasing":[14],"challenge.":[15],"The":[16,82,132,182],"gap":[17],"between":[18,103],"what":[19],"a":[20,70,74,91,101,119,124,141],"plan":[22],"can":[23,152],"offer":[24],"nowadays":[25],"and":[26,44,73,106,116,130,207,213],"current":[28,79],"technology":[29],"requirements":[30],"is":[31,112,139],"constantly":[32],"widened.":[33],"Despite":[34],"many":[35,53,157],"efforts":[36],"on":[37],"perfecting":[38],"\u201cGolden-verification-models\u201d":[39],"during":[40],"design":[42,128],"phase,":[43],"adoption":[45],"object-oriented":[47],"programming":[48],"into":[49,108],"whole":[51,96],"process;":[52],"industry":[54],"experts":[55],"still":[56],"consider":[57],"solo":[58],"test":[60,205],"benches":[61],"as":[62,90],"extreme,":[64],"time-consuming":[65],"barricade":[66],"that":[67,111,135,151],"leads":[68],"to":[69,94,123,155,192,203],"longer":[71],"time-to-market":[72],"questionable":[75],"continuity":[76],"process.":[81],"Universal":[83],"Verification":[84],"Methodology":[85],"(UVM),":[86],"came":[87],"in":[88,144],"action":[89],"literal":[92],"savior":[93],"community,":[98],"by":[99],"offering":[100],"merge":[102],"System":[104],"Verilog":[105],"SystemC":[107],"one":[109,148],"environment":[110,150],"completely":[113],"standardized,":[114],"constrained,":[115],"reusable,":[117],"allowing":[118],"powerful":[120],"methodology":[122],"wide":[125],"range":[126],"sizes":[129],"types.":[131],"main":[133],"contribution":[134],"this":[136],"project":[137],"introduces":[138],"implementing":[140],"generic":[142,184],"UVM,":[143],"other":[145],"words,":[146],"building":[147],"be":[153],"used":[154],"accommodate":[156],"RTL":[158],"designs":[159],"(Soft":[160],"Processors),":[161],"having":[162,198],"not":[163],"only":[164],"different":[165,176],"Instruction":[166],"Set":[167],"Architectures":[168],"(ISAs)":[169],"-of":[170],"same":[172,201],"categories-,":[173],"but":[174],"also":[175],"techniques/mechanisms":[177],"handling":[178],"pipeline":[180],"infrastructures.":[181],"proposed":[183],"UVM":[185],"(GUVM)":[186],"structure":[187],"permits":[188],"targeted":[190],"user":[191],"attach":[193],"any":[194],"soft":[195],"processor":[196],"(core)":[197],"nearly":[199],"micro-architecture":[202],"our":[204],"bench,":[206],"monitor":[208],"both:":[209],"internal":[211],"behavior":[212],"complete":[215],"flow":[216],"all":[218],"supported":[219],"instructions.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}