{"id":"https://openalex.org/W4390607075","doi":"https://doi.org/10.1109/fie58773.2023.10343047","title":"Enhancing Evaluation and Feedback in Computer Organization Labs with an Automated RISC-V Processor Verification Framework","display_name":"Enhancing Evaluation and Feedback in Computer Organization Labs with an Automated RISC-V Processor Verification Framework","publication_year":2023,"publication_date":"2023-10-18","ids":{"openalex":"https://openalex.org/W4390607075","doi":"https://doi.org/10.1109/fie58773.2023.10343047"},"language":"en","primary_location":{"id":"doi:10.1109/fie58773.2023.10343047","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/fie58773.2023.10343047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Frontiers in Education Conference (FIE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5028680646","display_name":"Yichuan Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yichuan Gao","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114246468","display_name":"Ziang Liu","orcid":"https://orcid.org/0009-0006-5101-0024"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziang Liu","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100656932","display_name":"Shanshan Li","orcid":"https://orcid.org/0000-0003-0798-974X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanshan Li","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100687149","display_name":"Weidong Liu","orcid":"https://orcid.org/0000-0002-5449-9180"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weidong Liu","raw_affiliation_strings":["Tsinghua University,Department of Computer Science and Technology,Beijing,China","Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,Department of Computer Science and Technology,Beijing,China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9973000288009644,"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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9973000288009644,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9973000288009644,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9969000220298767,"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.8541648983955383},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7405191659927368},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.611518383026123},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5914888978004456},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5479531288146973},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5303350687026978},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.507502019405365},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.4614950120449066},{"id":"https://openalex.org/keywords/addressing-mode","display_name":"Addressing mode","score":0.44253039360046387},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4310145974159241},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.37672749161720276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3684203624725342},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33427315950393677},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31702351570129395},{"id":"https://openalex.org/keywords/central-processing-unit","display_name":"Central processing unit","score":0.3072717487812042},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.2791208326816559},{"id":"https://openalex.org/keywords/instructions-per-cycle","display_name":"Instructions per cycle","score":0.2695782780647278}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8541648983955383},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7405191659927368},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.611518383026123},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5914888978004456},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5479531288146973},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5303350687026978},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.507502019405365},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.4614950120449066},{"id":"https://openalex.org/C16901944","wikidata":"https://www.wikidata.org/wiki/Q367183","display_name":"Addressing mode","level":4,"score":0.44253039360046387},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4310145974159241},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.37672749161720276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3684203624725342},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33427315950393677},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31702351570129395},{"id":"https://openalex.org/C49154492","wikidata":"https://www.wikidata.org/wiki/Q5300","display_name":"Central processing unit","level":2,"score":0.3072717487812042},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2791208326816559},{"id":"https://openalex.org/C156972235","wikidata":"https://www.wikidata.org/wiki/Q1443434","display_name":"Instructions per cycle","level":3,"score":0.2695782780647278},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fie58773.2023.10343047","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/fie58773.2023.10343047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Frontiers in Education Conference (FIE)","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.4099999964237213}],"awards":[{"id":"https://openalex.org/G5797485826","display_name":null,"funder_award_id":"61877035","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W220440441","https://openalex.org/W1999040019","https://openalex.org/W2008529361","https://openalex.org/W2131846601","https://openalex.org/W2149157922","https://openalex.org/W3095927822"],"related_works":["https://openalex.org/W2491664907","https://openalex.org/W2350048855","https://openalex.org/W2076425390","https://openalex.org/W1416703566","https://openalex.org/W1021025368","https://openalex.org/W2213077434","https://openalex.org/W2499494780","https://openalex.org/W1992134431","https://openalex.org/W1598740900","https://openalex.org/W1568960902"],"abstract_inverted_index":{"This":[0],"Practice":[1],"Work-in-Progress":[2],"paper":[3],"presents":[4],"an":[5,104],"innovative":[6],"approach":[7,325],"for":[8,14,83,96,166,181,186,250,287,307],"providing":[9,90],"better":[10],"evaluation":[11,275],"and":[12,89,113,133,136,145,175,203,219,293,312],"feedback":[13,92,231,296],"student-built":[15],"Central":[16],"Processing":[17],"Units":[18],"(CPUs)":[19],"in":[20,29,39,48,252,267,278,298,322],"Computer":[21,49],"Organization":[22],"course":[23],"settings.":[24],"A":[25],"common":[26,168],"lab":[27],"project":[28],"such":[30,171],"courses":[31],"is":[32,179,227,264,285,326],"the":[33,63,73,194,197,200,210,214,220,224,240,295,316,320,330],"implementation":[34],"of":[35,66,75,121,158,196,319,332],"a":[36,58,155,164,336],"simple":[37],"CPU":[38,76],"Hardware":[40],"Description":[41],"Language":[42],"(HDL).":[43],"For":[44],"example,":[45],"students":[46],"major":[47],"Science":[50],"at":[51],"Tsinghua":[52],"university":[53],"are":[54,207],"required":[55,185],"to":[56,72,129,149,154,232,273,329],"build":[57],"pipelined":[59],"RISC-V":[60,216],"processor":[61,169],"during":[62],"autumn":[64],"semester":[65],"their":[67,87,253],"third":[68],"year.":[69],"However,":[70],"due":[71],"complexity":[74],"internal":[77],"states,":[78],"debugging":[79],"can":[80,93,243],"be":[81,94],"time-consuming":[82],"students,":[84,233],"while":[85],"assessing":[86,308],"designs":[88],"efficient":[91],"challenging":[95],"instructors.":[97],"To":[98,192,229],"overcome":[99],"this":[100,151,324],"challenge,":[101],"we":[102,161,234],"propose":[103],"automated":[105],"verification":[106],"framework":[107,117,263],"using":[108],"directed":[109],"assembly":[110,122],"code":[111,259],"generation":[112],"trace":[114,188],"comparison.":[115],"Our":[116],"uses":[118],"two":[119,225],"types":[120,144],"test":[123],"cases:":[124],"one":[125],"set":[126,138],"specifically":[127],"designed":[128],"trigger":[130],"pipeline":[131],"data":[132,189,306],"control":[134],"hazards,":[135],"another":[137],"randomly":[139],"generated":[140,212],"with":[141,209],"controlled":[142],"instruction":[143],"counts.":[146],"In":[147],"order":[148],"apply":[150],"industry-proven":[152],"method":[153,284],"wide":[156],"variety":[157],"student":[159,258],"designs,":[160],"also":[162,235],"developed":[163],"technique":[165],"identifying":[167],"structures,":[170],"as":[172,289],"register":[173,202],"files":[174],"memory":[176,204],"buses,":[177],"that":[178,261],"essential":[180],"locating":[182],"critical":[183],"signals":[184],"generating":[187],"via":[190],"simulation.":[191],"evaluate":[193],"correctness":[195],"student-designed":[198],"CPUs,":[199],"recorded":[201],"writing":[205],"events":[206],"compared":[208,272],"log":[211],"by":[213],"Spike":[215],"ISA":[217],"simulator,":[218],"matching":[221],"percentage":[222],"between":[223],"records":[226],"calculated.":[228],"provide":[230],"present":[236],"detailed":[237],"information":[238],"on":[239,256,335],"mismatches,":[241],"which":[242],"help":[244],"them":[245],"identify":[246],"bugs":[247],"or":[248],"areas":[249],"improvement":[251],"designs.":[254],"Tests":[255],"real":[257],"demonstrate":[260],"our":[262,279],"more":[265],"effective":[266],"detecting":[268],"hidden":[269],"logic":[270],"errors,":[271],"traditional":[274],"methods":[276],"used":[277],"teaching":[280,331],"practice.":[281],"The":[282],"proposed":[283],"beneficial":[286],"instructors":[288],"it":[290,303],"saves":[291],"time":[292],"improves":[294],"loop":[297],"computer":[299,333],"organization":[300],"labs.":[301],"Moreover,":[302],"provides":[304],"additional":[305],"students'":[309],"independent":[310],"thinking":[311],"practical":[313],"skills.":[314],"With":[315],"growing":[317],"popularity":[318],"RISC-VISA":[321],"education,":[323],"potentially":[327],"applicable":[328],"systems":[334],"broader":[337],"scale.":[338]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}