{"id":"https://openalex.org/W4404954136","doi":"https://doi.org/10.1109/vlsi-soc62099.2024.10767783","title":"FVDCLS: Functional Verification of RISCV Based Dual-Core Lockstep Feature Using Fault Injection Mechanism","display_name":"FVDCLS: Functional Verification of RISCV Based Dual-Core Lockstep Feature Using Fault Injection Mechanism","publication_year":2024,"publication_date":"2024-10-06","ids":{"openalex":"https://openalex.org/W4404954136","doi":"https://doi.org/10.1109/vlsi-soc62099.2024.10767783"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc62099.2024.10767783","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc62099.2024.10767783","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)","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/A5114313334","display_name":"Muhammad Kashif Minhas","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Muhammad Kashif Minhas","raw_affiliation_strings":["Centers of Excellence in Science & Applied Technologies,Pakistan"],"affiliations":[{"raw_affiliation_string":"Centers of Excellence in Science & Applied Technologies,Pakistan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063931122","display_name":"Haroon Waris","orcid":"https://orcid.org/0000-0003-4670-3919"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haroon Waris","raw_affiliation_strings":["Centers of Excellence in Science & Applied Technologies,Pakistan"],"affiliations":[{"raw_affiliation_string":"Centers of Excellence in Science & Applied Technologies,Pakistan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110712380","display_name":"Sajid Baloch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sajid Baloch","raw_affiliation_strings":["Centers of Excellence in Science & Applied Technologies,Pakistan"],"affiliations":[{"raw_affiliation_string":"Centers of Excellence in Science & Applied Technologies,Pakistan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5114313334"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6975,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72760614,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9573000073432922,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9573000073432922,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10972","display_name":"Power Systems Fault Detection","score":0.9466000199317932,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9391000270843506,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6770462393760681},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.6310911178588867},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.5425103902816772},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.49172261357307434},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.4852266311645508},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4416981637477875},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4265154302120209},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23849079012870789},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09037631750106812},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08024615049362183}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6770462393760681},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.6310911178588867},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.5425103902816772},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.49172261357307434},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.4852266311645508},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4416981637477875},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4265154302120209},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23849079012870789},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09037631750106812},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08024615049362183},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlsi-soc62099.2024.10767783","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc62099.2024.10767783","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)","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":6,"referenced_works":["https://openalex.org/W2148602057","https://openalex.org/W2976811221","https://openalex.org/W2995380782","https://openalex.org/W3044268856","https://openalex.org/W3047697523","https://openalex.org/W4316663301"],"related_works":["https://openalex.org/W2604133224","https://openalex.org/W3122756779","https://openalex.org/W4234532445","https://openalex.org/W2382997850","https://openalex.org/W2062132293","https://openalex.org/W2390968135","https://openalex.org/W2159677757","https://openalex.org/W3044620288","https://openalex.org/W3025658341","https://openalex.org/W4401449716"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"the":[3,16,33,38,76,81,92,95,100,109,124,138,163,175,182,185,194,200,205,211],"framework":[4],"to":[5,41,122,136],"verify":[6],"RISCV":[7,101,118],"based":[8],"Dual-Core":[9],"Lockstep":[10],"(DCLS),":[11],"a":[12,42],"feature":[13],"that":[14,174,192],"enhances":[15],"fault":[17,48,64,203,213],"tolerance":[18],"in":[19,29,78],"processors.":[20],"The":[21,46,63,68,72,113,171,215],"DCLS":[22,125,231],"feature,":[23],"when":[24],"two":[25,60],"identical":[26],"processors":[27],"run":[28],"parallel,":[30],"effectively":[31],"detects":[32],"error":[34,77,189],"and":[35,58,107,127,152,179,210,220],"rolls":[36],"back":[37],"core":[39],"operations":[40],"previously":[43],"known":[44],"state.":[45],"purpose-built":[47],"injection":[49],"mechanism":[50],"is":[51,120,134,218],"developed":[52,148],"using":[53,155],"universal":[54],"verification":[55,145],"methodology":[56],"(UVM)":[57],"contains":[59],"modules:":[61],"i)":[62],"injector":[65],"(FI),":[66],"ii)":[67],"virtual":[69],"comparator":[70],"(VC).":[71],"FI":[73,156],"systematically":[74],"injects":[75],"one":[79,87],"of":[80,98,150,196,202,207],"core's":[82],"internal":[83,96,168],"states":[84,97],"by":[85],"flipping":[86],"or":[88],"multiple":[89],"bits.":[90],"While":[91],"VC":[93,164],"stores":[94],"both":[99],"cores":[102],"on":[103],"each":[104],"clock":[105],"cycle":[106],"reports":[108],"anomaly,":[110],"if":[111],"detected.":[112],"SweRV":[114],"EH1":[115],"(an":[116],"open-source":[117],"core)":[119],"customized":[121],"add":[123],"functionality":[126],"later":[128],"Google":[129],"RISC-V":[130],"DV":[131],"test":[132,161,198],"suite":[133],"used":[135],"validate":[137],"proposed":[139,216],"FVDCLS.":[140],"In":[141],"total,":[142],"nine":[143],"different":[144,167],"scenarios":[146,162],"are":[147],"consisting":[149],"transient":[151],"permanent":[153],"errors":[154,208],"module.":[157],"For":[158],"all":[159,181],"these":[160],"compared":[165],"hundred":[166],"state":[169],"signals/registers.":[170],"result":[172],"shows":[173],"FVDCLS":[176,186,217],"successfully":[177],"detected":[178],"reported":[180],"mismatches.":[183],"Moreover,":[184],"incorporates":[187],"an":[188],"debugging":[190],"module":[191],"generates":[193],"summary":[195],"conducted":[197],"particularly,":[199],"type":[201],"injected,":[204],"number":[206],"detected,":[209],"injected":[212],"coverage.":[214],"portable":[219],"configurable;":[221],"therefore,":[222],"can":[223],"be":[224],"seamlessly":[225],"integrated":[226],"with":[227],"any":[228],"processor":[229],"(with":[230],"feature)":[232],"under":[233],"test.":[234]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-12-21T23:12:01.093139","created_date":"2025-10-10T00:00:00"}