{"id":"https://openalex.org/W2402979134","doi":"https://doi.org/10.1145/2897937.2898002","title":"Debugging and verifying SoC designs through effective cross-layer hardware-software co-simulation","display_name":"Debugging and verifying SoC designs through effective cross-layer hardware-software co-simulation","publication_year":2016,"publication_date":"2016-05-25","ids":{"openalex":"https://openalex.org/W2402979134","doi":"https://doi.org/10.1145/2897937.2898002","mag":"2402979134"},"language":"en","primary_location":{"id":"doi:10.1145/2897937.2898002","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897937.2898002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 53rd Annual Design Automation Conference","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/A5041491379","display_name":"Keith A. Campbell","orcid":"https://orcid.org/0000-0002-3610-5256"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Keith Campbell","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067099793","display_name":"Leon He","orcid":"https://orcid.org/0000-0002-4317-9915"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Leon He","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101323724","display_name":"Liwei Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Liwei Yang","raw_affiliation_strings":["Nanyang Technological University"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026163196","display_name":"Swathi Gurumani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108443","display_name":"Advanced Digital Sciences Center","ror":"https://ror.org/01xaqx887","country_code":"SG","type":"facility","lineage":["https://openalex.org/I4210108443"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Swathi Gurumani","raw_affiliation_strings":["Advanced Digital Sciences Center, Singapore"],"affiliations":[{"raw_affiliation_string":"Advanced Digital Sciences Center, Singapore","institution_ids":["https://openalex.org/I4210108443"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090843153","display_name":"Kyle Rupnow","orcid":"https://orcid.org/0000-0003-2908-2225"},"institutions":[{"id":"https://openalex.org/I4210108443","display_name":"Advanced Digital Sciences Center","ror":"https://ror.org/01xaqx887","country_code":"SG","type":"facility","lineage":["https://openalex.org/I4210108443"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Kyle Rupnow","raw_affiliation_strings":["Advanced Digital Sciences Center, Singapore"],"affiliations":[{"raw_affiliation_string":"Advanced Digital Sciences Center, Singapore","institution_ids":["https://openalex.org/I4210108443"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056321228","display_name":"Deming Chen","orcid":"https://orcid.org/0000-0002-3016-0270"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Deming Chen","raw_affiliation_strings":["University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5041491379"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":3.181713,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.93067082,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"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.9998999834060669,"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.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9993000030517578,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.7835221290588379},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7747561931610107},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7601914405822754},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6990042328834534},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6206381916999817},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5636695027351379},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5384663343429565},{"id":"https://openalex.org/keywords/logic-simulation","display_name":"Logic simulation","score":0.47649258375167847},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.4272434115409851},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3422047793865204},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19812247157096863},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.1901116669178009}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.7835221290588379},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7747561931610107},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7601914405822754},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6990042328834534},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6206381916999817},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5636695027351379},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5384663343429565},{"id":"https://openalex.org/C64859876","wikidata":"https://www.wikidata.org/wiki/Q173673","display_name":"Logic simulation","level":3,"score":0.47649258375167847},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.4272434115409851},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3422047793865204},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19812247157096863},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.1901116669178009},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2897937.2898002","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2897937.2898002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 53rd Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6158446238","display_name":null,"funder_award_id":"Human-Centered Cyber-physical Systems Programme","funder_id":"https://openalex.org/F4320320696","funder_display_name":"Agency for Science, Technology and Research"},{"id":"https://openalex.org/G7925149951","display_name":null,"funder_award_id":"2014-HJ-2505","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"}],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320320696","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1604677972","https://openalex.org/W1994052066","https://openalex.org/W2009541799","https://openalex.org/W2012262513","https://openalex.org/W2018055497","https://openalex.org/W2049880113","https://openalex.org/W2057807751","https://openalex.org/W2063922433","https://openalex.org/W2072073269","https://openalex.org/W2081132365","https://openalex.org/W2094998159","https://openalex.org/W2147088458","https://openalex.org/W2153185479","https://openalex.org/W2166029537","https://openalex.org/W2275549139","https://openalex.org/W2482246557","https://openalex.org/W4292927918"],"related_works":["https://openalex.org/W2790192245","https://openalex.org/W4232281993","https://openalex.org/W3146089259","https://openalex.org/W2119788505","https://openalex.org/W2366950178","https://openalex.org/W2532163536","https://openalex.org/W1981924702","https://openalex.org/W1525398417","https://openalex.org/W2112120387","https://openalex.org/W2226016578"],"abstract_inverted_index":{"Verification":[0],"of":[1,14,48,70],"modern":[2],"day":[3],"electronic":[4],"circuits":[5],"has":[6],"become":[7],"the":[8,11,52,80],"bottleneck":[9],"for":[10],"timely":[12],"delivery":[13],"complex":[15],"SoC":[16,33,99],"designs.":[17],"We":[18,35],"develop":[19],"a":[20],"novel":[21],"cross-layer":[22],"hardware/software":[23],"co-simulation":[24],"framework":[25,86],"that":[26,60],"can":[27],"effectively":[28],"debug":[29],"and":[30,50,66,97],"verify":[31],"an":[32,91],"design.":[34],"combine":[36],"high-level":[37,81],"C/C++":[38,75],"software":[39],"with":[40],"cycle-accurate":[41],"SystemC":[42],"hardware,":[43],"uniquely":[44],"identify":[45],"various":[46],"types":[47],"bugs,":[49],"help":[51],"hardware":[53],"designer":[54],"localize":[55],"them.":[56],"Experimental":[57],"results":[58],"show":[59],"we":[61],"are":[62],"able":[63],"to":[64],"detect":[65],"aid":[67],"in":[68],"localization":[69],"logic":[71],"bugs":[72],"from":[73],"both":[74],"specifications":[76],"as":[77,79],"well":[78],"synthesis":[82],"engine":[83],"itself.":[84],"Our":[85],"is":[87],"fully":[88],"automated,":[89],"representing":[90],"important":[92],"step":[93],"forward":[94],"targeting":[95],"fast":[96],"effective":[98],"design":[100],"verification.":[101]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}