{"id":"https://openalex.org/W4389491860","doi":"https://doi.org/10.1145/3613424.3614301","title":"Khronos: Fusing Memory Access for Improved Hardware RTL Simulation","display_name":"Khronos: Fusing Memory Access for Improved Hardware RTL Simulation","publication_year":2023,"publication_date":"2023-10-28","ids":{"openalex":"https://openalex.org/W4389491860","doi":"https://doi.org/10.1145/3613424.3614301"},"language":"en","primary_location":{"id":"doi:10.1145/3613424.3614301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3613424.3614301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3613424.3614301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"56th Annual IEEE/ACM International Symposium on Microarchitecture","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3613424.3614301","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000718123","display_name":"Kexing Zhou","orcid":"https://orcid.org/0000-0001-7635-3425"},"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":"Kexing Zhou","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-7635-3425","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100604860","display_name":"Yun Liang","orcid":"https://orcid.org/0000-0002-9076-7998"},"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":"Yun Liang","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-9076-7998","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000933188","display_name":"Yibo Lin","orcid":"https://orcid.org/0000-0002-0977-2774"},"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":"Yibo Lin","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-0977-2774","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002760019","display_name":"Runsheng Wang","orcid":"https://orcid.org/0000-0002-7514-0767"},"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":"Runsheng Wang","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-7514-0767","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012603707","display_name":"Ru Huang","orcid":"https://orcid.org/0000-0001-7545-0987"},"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":"Ru Huang","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-7545-0987","affiliations":[{"raw_affiliation_string":"Peking University, 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":true,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"180","last_page":"193"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9991000294685364,"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.7915576696395874},{"id":"https://openalex.org/keywords/logic-simulation","display_name":"Logic simulation","score":0.7859126925468445},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7606702446937561},{"id":"https://openalex.org/keywords/register-transfer-level","display_name":"Register-transfer level","score":0.6691547632217407},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5587862133979797},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.5192732810974121},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.48474761843681335},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4565259516239166},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4509267210960388},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4413999915122986},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.42643776535987854},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4243497848510742},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.42260515689849854},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41900891065597534},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.34146690368652344},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.27903756499290466},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.2692953944206238},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.2224542796611786},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16733688116073608},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15815964341163635},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1349693238735199}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7915576696395874},{"id":"https://openalex.org/C64859876","wikidata":"https://www.wikidata.org/wiki/Q173673","display_name":"Logic simulation","level":3,"score":0.7859126925468445},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7606702446937561},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.6691547632217407},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5587862133979797},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.5192732810974121},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.48474761843681335},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4565259516239166},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4509267210960388},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4413999915122986},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.42643776535987854},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4243497848510742},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.42260515689849854},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41900891065597534},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34146690368652344},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.27903756499290466},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2692953944206238},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2224542796611786},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16733688116073608},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15815964341163635},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1349693238735199},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3613424.3614301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3613424.3614301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3613424.3614301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"56th Annual IEEE/ACM International Symposium on Microarchitecture","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3613424.3614301","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3613424.3614301","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3613424.3614301","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"56th Annual IEEE/ACM International Symposium on Microarchitecture","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1169248078","display_name":null,"funder_award_id":"T2293701","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G942610218","display_name":null,"funder_award_id":"T2293700","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389491860.pdf","grobid_xml":"https://content.openalex.org/works/W4389491860.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W581518716","https://openalex.org/W1983394510","https://openalex.org/W2041502505","https://openalex.org/W2053044043","https://openalex.org/W2122740326","https://openalex.org/W2133250872","https://openalex.org/W2299369555","https://openalex.org/W2322411027","https://openalex.org/W2905285402","https://openalex.org/W2944282916","https://openalex.org/W2998273950","https://openalex.org/W3016542674","https://openalex.org/W3027968530","https://openalex.org/W3031264475","https://openalex.org/W3033074846","https://openalex.org/W3122286897","https://openalex.org/W3139172074","https://openalex.org/W3146200412","https://openalex.org/W3183881215","https://openalex.org/W3207497098","https://openalex.org/W3212403328","https://openalex.org/W3213528054","https://openalex.org/W4233187670","https://openalex.org/W4240172596","https://openalex.org/W4240573491","https://openalex.org/W4242312330","https://openalex.org/W4246166885","https://openalex.org/W4255744499","https://openalex.org/W4293023583","https://openalex.org/W4308083752","https://openalex.org/W4320067872","https://openalex.org/W4327911467","https://openalex.org/W4327930474"],"related_works":["https://openalex.org/W4281926497","https://openalex.org/W2269990635","https://openalex.org/W4312985392","https://openalex.org/W4283730710","https://openalex.org/W2042762783","https://openalex.org/W1905101075","https://openalex.org/W1536721241","https://openalex.org/W2120231722","https://openalex.org/W2113539181","https://openalex.org/W2171603894"],"abstract_inverted_index":{"The":[0,45],"use":[1,51],"of":[2,75],"register":[3],"transfer":[4],"level":[5],"(RTL)":[6],"simulation":[7,26,31,54,70,77,89],"is":[8,32],"critical":[9],"for":[10],"hardware":[11],"design":[12,20],"in":[13,68],"various":[14,24],"aspects":[15],"including":[16],"verification,":[17],"debugging,":[18],"and":[19,42,64],"space":[21],"exploration.":[22],"Among":[23],"RTL":[25,30,53,57],"techniques,":[27],"cycle-accurate":[28,48],"software":[29],"the":[33,66,73,84],"most":[34],"prevalent":[35],"approach":[36],"due":[37],"to":[38],"its":[39],"easy":[40],"accessibility":[41],"high":[43],"flexibility.":[44],"current":[46],"state-of-the-art":[47],"simulators":[49],"mainly":[50,80],"full-cycle":[52,76],"that":[55],"models":[56],"as":[58],"a":[59],"directed":[60],"acyclic":[61],"computational":[62],"graph":[63,67],"traverses":[65],"each":[69],"cycle.":[71],"However,":[72],"adoption":[74],"makes":[78],"them":[79],"focus":[81],"on":[82],"optimizing":[83],"logic":[85],"evaluation":[86],"within":[87],"one":[88],"cycle,":[90],"neglecting":[91],"temporal":[92],"optimization":[93],"opportunities.":[94]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}