{"id":"https://openalex.org/W4312121089","doi":"https://doi.org/10.1145/3508352.3549391","title":"Usage-Based RTL Subsetting for Hardware Accelerators","display_name":"Usage-Based RTL Subsetting for Hardware Accelerators","publication_year":2022,"publication_date":"2022-10-30","ids":{"openalex":"https://openalex.org/W4312121089","doi":"https://doi.org/10.1145/3508352.3549391"},"language":"en","primary_location":{"id":"doi:10.1145/3508352.3549391","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3508352.3549391","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3508352.3549391","source":{"id":"https://openalex.org/S4363608844","display_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3508352.3549391","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071748112","display_name":"Qinhan Tan","orcid":"https://orcid.org/0000-0003-2475-3675"},"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":"Qinhan Tan","raw_affiliation_strings":["Princeton University"],"affiliations":[{"raw_affiliation_string":"Princeton University","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"],"affiliations":[{"raw_affiliation_string":"Princeton University","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"],"affiliations":[{"raw_affiliation_string":"Princeton University","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071748112"],"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.14292528,"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":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9995999932289124,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.998199999332428,"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/computer-science","display_name":"Computer science","score":0.8325313925743103},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6949821710586548},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5909719467163086},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.507332980632782},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.504848062992096},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.457576721906662},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.42925578355789185},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.4191338121891022},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38945719599723816},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.38033586740493774},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32846003770828247},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2791755199432373},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.26608139276504517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17336896061897278},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09477999806404114}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8325313925743103},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6949821710586548},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5909719467163086},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.507332980632782},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.504848062992096},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.457576721906662},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42925578355789185},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.4191338121891022},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38945719599723816},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.38033586740493774},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32846003770828247},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2791755199432373},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.26608139276504517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17336896061897278},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09477999806404114},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3508352.3549391","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3508352.3549391","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3508352.3549391","source":{"id":"https://openalex.org/S4363608844","display_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3508352.3549391","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3508352.3549391","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3508352.3549391","source":{"id":"https://openalex.org/S4363608844","display_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4720003262","display_name":null,"funder_award_id":"N00014-22","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4943376207","display_name":null,"funder_award_id":"1628926","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312121089.pdf","grobid_xml":"https://content.openalex.org/works/W4312121089.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1503570386","https://openalex.org/W1903029394","https://openalex.org/W2104658241","https://openalex.org/W2131129639","https://openalex.org/W2135414548","https://openalex.org/W2138788987","https://openalex.org/W2884937557","https://openalex.org/W2936278485","https://openalex.org/W2964335063","https://openalex.org/W2980104813","https://openalex.org/W3027123178","https://openalex.org/W3135697241","https://openalex.org/W4200223088","https://openalex.org/W4229675450","https://openalex.org/W4250728693"],"related_works":["https://openalex.org/W2269990635","https://openalex.org/W2543290882","https://openalex.org/W2295153704","https://openalex.org/W1490270176","https://openalex.org/W1604320855","https://openalex.org/W2159022270","https://openalex.org/W282396022","https://openalex.org/W2507786429","https://openalex.org/W4285464654","https://openalex.org/W2187417806"],"abstract_inverted_index":{"Recent":[0],"years":[1],"have":[2],"witnessed":[3],"increasing":[4],"use":[5,53],"of":[6,34,47,55,63,73,97,99,107,176,208,211,218,225,251,261,269],"domain-specific":[7],"accelerators":[8,27,219],"in":[9,138,232],"computing":[10],"platforms":[11],"to":[12,29,70,119,132,179,235],"provide":[13],"power-performance":[14],"efficiency":[15],"for":[16,91,113,195,248],"emerging":[17],"applications.":[18],"To":[19,167],"increase":[20],"their":[21],"applicability":[22,224],"within":[23],"the":[24,108,120,126,134,169,201,206,209,237,249,255,258,266],"domain,":[25],"these":[26,64,114],"tend":[28],"support":[30],"a":[31,61,95,105,154],"large":[32,238],"set":[33],"functions,":[35,253],"e.g.":[36],"Nvidia's":[37],"open-source":[38],"Deep":[39],"Learning":[40],"Accelerator,":[41],"NVDLA,":[42],"supports":[43],"five":[44],"distinct":[45],"groups":[46],"functions":[48,68,98,115],"[17].":[49],"However,":[50],"an":[51,56,88,92,181],"individual":[52],"case":[54,216],"accelerator":[57,93,240],"may":[58],"utilize":[59],"only":[60],"subset":[62,96,106,236,256],"functions.":[65],"The":[66,223],"unused":[67],"lead":[69],"unnecessary":[71],"overhead":[72],"silicon":[74],"area,":[75],"power,":[76],"and":[77,94,116,146,192,205,245,265],"hardware":[78],"verification/hardware-software":[79],"co-verification":[80],"complexity.":[81],"This":[82],"motivates":[83],"our":[84,212,226],"research":[85],"question:":[86],"Given":[87],"RTL":[89,109,128,135],"design":[90],"interest,":[100],"can":[101,150,159,229],"we":[102,172],"automatically":[103],"extract":[104],"that":[110,148],"is":[111],"sufficient":[112],"sequentially":[117],"equivalent":[118],"original":[121],"RTL?":[122],"We":[123,140,199],"call":[124],"this":[125,144],"Usage-based":[127],"Subsetting":[129],"problem,":[130,157],"referred":[131],"as":[133,153],"subsetting":[136],"problem":[137,145],"short.":[139],"first":[141],"formally":[142],"define":[143],"show":[147],"it":[149],"be":[151,160,230],"formulated":[152],"program":[155],"synthesis":[156],"which":[158],"solved":[161],"by":[162,263,271],"performing":[163],"expensive":[164,188],"hyperproperty":[165],"checks.":[166],"overcome":[168],"high":[170],"cost,":[171],"propose":[173],"multiple":[174],"levels":[175],"sound":[177],"over-approximations":[178],"construct":[180],"effective":[182],"algorithm":[183,213,228],"based":[184],"on":[185],"relatively":[186],"less":[187],"temporal":[189],"property":[190],"checking":[191],"taint":[193],"analysis":[194],"information":[196],"flow":[197],"checking.":[198],"demonstrate":[200],"acceptable":[202],"computation":[203],"cost":[204],"quality":[207],"results":[210],"through":[214],"several":[215],"studies":[217],"from":[220],"different":[221],"domains.":[222],"proposed":[227],"seen":[231],"its":[233],"ability":[234],"NVDLA":[239],"(with":[241],"over":[242],"50,000":[243],"registers":[244,262],"1,600,000":[246],"gates)":[247],"group":[250],"convolution":[252],"where":[254],"reduces":[257],"total":[259,267],"number":[260,268],"18.6%":[264],"gates":[270],"37.1%.":[272]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}