{"id":"https://openalex.org/W7106098721","doi":"https://doi.org/10.1109/iccad66269.2025.11240882","title":"Software-Style Hardware Debugging: A Hardware Generation, Simulation and Debugging Framework","display_name":"Software-Style Hardware Debugging: A Hardware Generation, Simulation and Debugging Framework","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W7106098721","doi":"https://doi.org/10.1109/iccad66269.2025.11240882"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240882","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","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":null,"display_name":"Weiran Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiran Liu","raw_affiliation_strings":["Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shixuan Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shixuan Chen","raw_affiliation_strings":["Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chun Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chun Yang","raw_affiliation_strings":["Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xianhua Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianhua Liu","raw_affiliation_strings":["Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science, Engineering Research Center of Microprocessor & System,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20231570"],"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":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.7563999891281128,"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.7563999891281128,"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.07940000295639038,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.04809999838471413,"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.8819000124931335},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.680899977684021},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.5080000162124634},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.5012999773025513},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.4932999908924103},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47999998927116394},{"id":"https://openalex.org/keywords/nexus","display_name":"Nexus (standard)","score":0.43230000138282776},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.39590001106262207},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.3953000009059906}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8819000124931335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7509999871253967},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.680899977684021},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.5080000162124634},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.5012999773025513},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5012000203132629},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.4932999908924103},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47999998927116394},{"id":"https://openalex.org/C148609458","wikidata":"https://www.wikidata.org/wiki/Q7021281","display_name":"Nexus (standard)","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.4212999939918518},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.39590001106262207},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.3953000009059906},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3765000104904175},{"id":"https://openalex.org/C124774103","wikidata":"https://www.wikidata.org/wiki/Q4839640","display_name":"Background debug mode interface","level":3,"score":0.37130001187324524},{"id":"https://openalex.org/C13164978","wikidata":"https://www.wikidata.org/wiki/Q600158","display_name":"Hardware acceleration","level":3,"score":0.36239999532699585},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.33889999985694885},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.33570000529289246},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3125999867916107},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.29350000619888306},{"id":"https://openalex.org/C161394538","wikidata":"https://www.wikidata.org/wiki/Q3127397","display_name":"Hardware compatibility list","level":4,"score":0.2856999933719635},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27090001106262207},{"id":"https://openalex.org/C142962650","wikidata":"https://www.wikidata.org/wiki/Q240838","display_name":"Reconfigurable computing","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.26930001378059387},{"id":"https://openalex.org/C64859876","wikidata":"https://www.wikidata.org/wiki/Q173673","display_name":"Logic simulation","level":3,"score":0.257999986410141},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.2574999928474426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240882","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","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":23,"referenced_works":["https://openalex.org/W1983394510","https://openalex.org/W2079751107","https://openalex.org/W2318354022","https://openalex.org/W2611725111","https://openalex.org/W2761973445","https://openalex.org/W2809084326","https://openalex.org/W3026765731","https://openalex.org/W3027968530","https://openalex.org/W3030488445","https://openalex.org/W3031264475","https://openalex.org/W3036079062","https://openalex.org/W3039382295","https://openalex.org/W3095983756","https://openalex.org/W3152853872","https://openalex.org/W3155384757","https://openalex.org/W3213528054","https://openalex.org/W4210725750","https://openalex.org/W4221142662","https://openalex.org/W4232751114","https://openalex.org/W4308083752","https://openalex.org/W4318541625","https://openalex.org/W4389950186","https://openalex.org/W4409095299"],"related_works":[],"abstract_inverted_index":{"Hardware":[0],"generation":[1],"frameworks":[2],"(HGFs)":[3],"leverage":[4],"high-level":[5,77],"descriptions":[6],"to":[7,44,104],"introduce":[8],"agile":[9],"methods":[10],"into":[11],"hardware":[12,45],"design.":[13],"However,":[14],"HGFs":[15],"still":[16],"rely":[17],"on":[18,55,82],"traditional":[19],"RTL":[20,74],"verification":[21],"workflows,":[22],"limiting":[23],"design-verification":[24],"iteration":[25],"efficiency.":[26],"This":[27],"paper":[28],"presents":[29],"ComoPy,":[30],"an":[31],"HGF":[32],"supporting":[33],"host":[34],"language":[35],"native":[36],"simulation":[37,75],"and":[38,52,59,76,86],"debugging,":[39],"introducing":[40],"software":[41],"debugging":[42,95],"techniques":[43],"verification.":[46],"The":[47],"framework":[48],"enables":[49],"fine-grained":[50],"tracing":[51],"breakpoints":[53],"directly":[54],"HDL":[56,78],"source":[57],"lines,":[58],"implements":[60],"software-style":[61],"hot-reloading":[62],"for":[63],"incremental":[64],"debug-fix":[65],"iterations.":[66],"Furthermore,":[67],"it":[68],"supports":[69],"switching":[70],"between":[71],"fast":[72],"low-level":[73],"execution.":[79],"Case":[80],"studies":[81],"the":[83],"Sodor-clone":[84],"processor":[85],"a":[87,99],"database":[88],"accelerator":[89],"featuring":[90],"systolic":[91],"array":[92],"show":[93],"timely":[94],"responses,":[96],"with":[97],"only":[98],"6%":[100],"performance":[101],"loss":[102],"compared":[103],"Verilator":[105],"simulation.":[106]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-20T00:00:00"}