{"id":"https://openalex.org/W7161686975","doi":"https://doi.org/10.48550/arxiv.2605.17290","title":"Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing","display_name":"Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing","publication_year":2026,"publication_date":"2026-05-17","ids":{"openalex":"https://openalex.org/W7161686975","doi":"https://doi.org/10.48550/arxiv.2605.17290"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.17290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17290","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.17290","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136472429","display_name":"Zizhen Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Zizhen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mao, Xiaoguang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003136837","display_name":"Deheng Yang","orcid":"https://orcid.org/0000-0002-8383-1939"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Deheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034699862","display_name":"Jiayu He","orcid":"https://orcid.org/0000-0002-1329-7312"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Jiayu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136483751","display_name":"Yihao Qin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qin, Yihao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049705266","display_name":"Guangda Zhang","orcid":"https://orcid.org/0000-0003-4732-9674"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Guangda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136471037","display_name":"Yan Lei","orcid":"https://orcid.org/0000-0003-4504-6806"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lei, Yan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136467094","display_name":"Jianjun Xu","orcid":"https://orcid.org/0009-0000-0887-5512"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Jianjun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5122561315","display_name":"Jiang Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Jiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.5396999716758728,"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.5396999716758728,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.28529998660087585,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.041200000792741776,"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/debugging","display_name":"Debugging","score":0.8669999837875366},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6708999872207642},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5726000070571899},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.5690000057220459},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.48429998755455017},{"id":"https://openalex.org/keywords/network-processor","display_name":"Network processor","score":0.48080000281333923},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4431000053882599}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8669999837875366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7734000086784363},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6708999872207642},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5726000070571899},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.5690000057220459},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.48429998755455017},{"id":"https://openalex.org/C74366991","wikidata":"https://www.wikidata.org/wiki/Q2755335","display_name":"Network processor","level":3,"score":0.48080000281333923},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4733999967575073},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4722999930381775},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4431000053882599},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4404999911785126},{"id":"https://openalex.org/C526435321","wikidata":"https://www.wikidata.org/wiki/Q1303814","display_name":"Processor design","level":2,"score":0.4115000069141388},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39719998836517334},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3659999966621399},{"id":"https://openalex.org/C201736964","wikidata":"https://www.wikidata.org/wiki/Q621583","display_name":"Application-specific instruction-set processor","level":3,"score":0.3181000053882599},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C37749351","wikidata":"https://www.wikidata.org/wiki/Q3181395","display_name":"Information processor","level":3,"score":0.2955999970436096},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.29159998893737793},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.28110000491142273}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.17290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17290","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.17290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.17290","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Fault":[0],"localization":[1,51],"in":[2,19,33],"modern":[3],"processor":[4,14,36,54,103,112],"design":[5,25],"code":[6,68,79],"is":[7],"a":[8,46,66,84,109,153],"critical":[9,77],"yet":[10],"time-consuming":[11],"step":[12],"during":[13],"verification.":[15],"While":[16],"recent":[17],"advances":[18],"LLM-based":[20,49],"techniques":[21],"for":[22,53],"module-level":[23],"hardware":[24],"have":[26],"shown":[27],"promising":[28],"results,":[29],"automatically":[30],"localizing":[31],"bugs":[32,128],"large-scale,":[34],"project-level":[35],"designs":[37],"remains":[38],"challenging.":[39],"In":[40],"this":[41],"paper,":[42],"we":[43,63],"present":[44],"BluesFL,":[45],"novel":[47],"block-level":[48],"fault":[50],"framework":[52],"designs.":[55],"Inspired":[56],"by":[57,97],"the":[58,135],"way":[59],"engineers":[60],"debug":[61],"processors,":[62],"first":[64],"propose":[65,83],"dataflow-based":[67],"blockization":[69],"approach":[70],"to":[71,74,93,151],"guide":[72],"LLMs":[73,92],"focus":[75],"on":[76,108],"local":[78],"context.":[80],"We":[81,105],"further":[82],"Block-Level":[85],"Instruction-Oriented":[86],"Slicing":[87],"(Blues)":[88],"algorithm":[89],"that":[90,123,143],"enables":[91],"mimic":[94],"human":[95],"reasoning":[96],"analyzing":[98],"instruction":[99],"execution":[100],"paths":[101],"and":[102],"states.":[104],"evaluate":[106],"BluesFL":[107,124,144],"real-world":[110],"RISC-V":[111],"core":[113],"comprising":[114],"19K":[115],"lines":[116],"of":[117,148],"SystemVerilog":[118],"code.":[119],"Experimental":[120],"results":[121],"demonstrate":[122],"correctly":[125],"localizes":[126],"24":[127],"at":[129],"Top-1,":[130],"achieving":[131],"242.9%":[132],"improvement":[133],"over":[134],"existing":[136],"state-of-the-art":[137],"(7":[138],"bugs).":[139],"Cost":[140],"analysis":[141],"shows":[142],"requires":[145],"an":[146],"average":[147],"only":[149],"$0.257":[150],"localize":[152],"single":[154],"bug.":[155]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-20T00:00:00"}