{"id":"https://openalex.org/W4409282400","doi":"https://doi.org/10.1145/3676536.3676657","title":"Automatic Generation of Cycle-Accurate Timing Models from RTL for Hardware Accelerators","display_name":"Automatic Generation of Cycle-Accurate Timing Models from RTL for Hardware Accelerators","publication_year":2024,"publication_date":"2024-10-27","ids":{"openalex":"https://openalex.org/W4409282400","doi":"https://doi.org/10.1145/3676536.3676657"},"language":"en","primary_location":{"id":"doi:10.1145/3676536.3676657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676657","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676657","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676657","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103444482","display_name":"Yu Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yu Zeng","raw_affiliation_strings":["Princeton University, Princeton, NJ, United States"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, United States","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041231710","display_name":"Aarti Gupta","orcid":"https://orcid.org/0000-0001-6676-9400"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aarti Gupta","raw_affiliation_strings":["Princeton University, PRINCETON, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, PRINCETON, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085975362","display_name":"Sharad Malik","orcid":"https://orcid.org/0000-0002-0837-5443"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sharad Malik","raw_affiliation_strings":["Princeton University, PRINCETON, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, PRINCETON, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103444482"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33537597,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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/T10933","display_name":"Real-Time Systems Scheduling","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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7154569625854492},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.4715820848941803},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3566604256629944},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3552391529083252},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32666000723838806},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.2994944453239441}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7154569625854492},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.4715820848941803},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3566604256629944},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3552391529083252},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32666000723838806},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.2994944453239441}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3676536.3676657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676657","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676657","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3676536.3676657","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676657","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676657","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.8100000023841858,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409282400.pdf","grobid_xml":"https://content.openalex.org/works/W4409282400.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1484617490","https://openalex.org/W1976890955","https://openalex.org/W2059896017","https://openalex.org/W2102890180","https://openalex.org/W2123610036","https://openalex.org/W2143890865","https://openalex.org/W2144849043","https://openalex.org/W2396677236","https://openalex.org/W2771610171","https://openalex.org/W2804032941","https://openalex.org/W2884267664","https://openalex.org/W2963114857","https://openalex.org/W3092265192","https://openalex.org/W3147312088","https://openalex.org/W4244483978","https://openalex.org/W4280651678","https://openalex.org/W4317941992","https://openalex.org/W4391623931","https://openalex.org/W6664117384","https://openalex.org/W6665249544"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2135482679","https://openalex.org/W2035070505","https://openalex.org/W2000188956","https://openalex.org/W1973862904","https://openalex.org/W181593118","https://openalex.org/W2077870657"],"abstract_inverted_index":{"Simulation":[0],"is":[1],"widely":[2],"used":[3],"during":[4],"different":[5],"stages":[6],"of":[7,17,27,44,63,73,113],"hardware":[8,45],"development.":[9],"This":[10],"paper":[11],"focuses":[12],"on":[13,52],"one":[14],"specific":[15],"type":[16],"simulation":[18,91],"-":[19],"cycle-accurate":[20,41,90],"timing":[21,42],"simulation,":[22],"which":[23],"measures":[24],"the":[25,60,71,110],"number":[26],"cycles":[28],"for":[29,38,76,89,95],"a":[30,35,86,104],"given":[31],"computation.":[32],"We":[33,69,80],"propose":[34],"pioneering":[36],"approach":[37,75,102],"automatically":[39],"generating":[40],"models":[43,94],"accelerators":[46],"from":[47],"their":[48],"RTL":[49,93],"designs":[50],"based":[51],"dependency":[53],"analysis":[54],"and":[55],"constraint":[56],"solving,":[57],"making":[58],"this":[59,67],"first":[61],"technique":[62],"its":[64,99],"kind":[65],"in":[66],"domain.":[68],"demonstrate":[70],"applicability":[72],"our":[74,83],"six":[77],"non-trivial":[78],"designs.":[79],"show":[81],"that":[82],"method":[84],"achieves":[85],"1.5x-6.9x":[87],"speedup":[88],"over":[92],"computation-intensive":[96],"accelerators,":[97],"demonstrating":[98],"effectiveness.":[100],"Our":[101],"provides":[103],"cost-effective":[105],"way":[106],"to":[107],"quickly":[108],"determine":[109],"execution":[111],"time":[112],"accelerators.":[114]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}