{"id":"https://openalex.org/W7165201830","doi":"https://doi.org/10.1145/3787109.3816395","title":"HALO:A Typed Multi-View Graph Abstraction for RTL and Netlist Learning","display_name":"HALO:A Typed Multi-View Graph Abstraction for RTL and Netlist Learning","publication_year":2026,"publication_date":"2026-06-18","ids":{"openalex":"https://openalex.org/W7165201830","doi":"https://doi.org/10.1145/3787109.3816395"},"language":null,"primary_location":{"id":"doi:10.1145/3787109.3816395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816395","pdf_url":null,"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 Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3787109.3816395","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084274584","display_name":"Kevin Immanuel Gubbi","orcid":"https://orcid.org/0000-0003-1745-0457"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Immanuel Gubbi","raw_affiliation_strings":["Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-1745-0457","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117770455","display_name":"Mohammadnavid Tarighat","orcid":null},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammadnavid Tarighat","raw_affiliation_strings":["Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA"],"raw_orcid":"https://orcid.org/0009-0000-1536-2846","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095084442","display_name":"B Puri","orcid":null},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brinda Puri","raw_affiliation_strings":["Electrical and Computer Engineering, University of California, Davis, Davis, USA"],"raw_orcid":"https://orcid.org/0009-0003-2375-2184","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of California, Davis, Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092830582","display_name":"Mahdi Pirayesh Shirazi Nejad","orcid":null},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahdi Pirayesh Shirazi Nejad","raw_affiliation_strings":["Electrical and Computer Engineering, University of California, Davis, Davis, USA"],"raw_orcid":"https://orcid.org/0009-0006-5332-6700","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of California, Davis, Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051940611","display_name":"Setareh Rafatirad","orcid":"https://orcid.org/0000-0002-0626-9778"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Setareh Rafatirad","raw_affiliation_strings":["Computer Science, University of California, Davis, Davis, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-0626-9778","affiliations":[{"raw_affiliation_string":"Computer Science, University of California, Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047382437","display_name":"Houman Homayoun","orcid":"https://orcid.org/0000-0001-8904-4699"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houman Homayoun","raw_affiliation_strings":["Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-8904-4699","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of California, Davis, Davis, CA, USA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I84218800"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.92600765,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"576","last_page":"582"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.6606000065803528,"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.6606000065803528,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.04560000076889992,"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.04129999876022339,"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/netlist","display_name":"Netlist","score":0.8233000040054321},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.526199996471405},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4587000012397766},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.45350000262260437},{"id":"https://openalex.org/keywords/json","display_name":"JSON","score":0.4410000145435333},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.44040000438690186},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.374099999666214},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.34130001068115234}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.8233000040054321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7980999946594238},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6118999719619751},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.526199996471405},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4587000012397766},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.45350000262260437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45210000872612},{"id":"https://openalex.org/C2780416260","wikidata":"https://www.wikidata.org/wiki/Q2063","display_name":"JSON","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.374099999666214},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.34130001068115234},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.32659998536109924},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.3246000111103058},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.3176000118255615},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28369998931884766},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.26579999923706055},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C184665706","wikidata":"https://www.wikidata.org/wiki/Q186310","display_name":"Halo","level":3,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3787109.3816395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816395","pdf_url":null,"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 Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3787109.3816395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3787109.3816395","pdf_url":null,"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 Great Lakes Symposium on VLSI 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2604314403","https://openalex.org/W2606854262","https://openalex.org/W2892880750","https://openalex.org/W3012871709","https://openalex.org/W3013938122","https://openalex.org/W3092027164","https://openalex.org/W3112095301","https://openalex.org/W3186572303","https://openalex.org/W3213615259","https://openalex.org/W4386764162","https://openalex.org/W4389166639","https://openalex.org/W4389166679","https://openalex.org/W4389166829","https://openalex.org/W4414198031"],"related_works":[],"abstract_inverted_index":{"Graph":[0],"learning":[1],"is":[2,16,92],"now":[3],"a":[4,29,95],"dominant":[5],"tool":[6],"for":[7],"analyzing":[8],"and":[9,40,53,59,75,84,109],"optimizing":[10],"hardware":[11],"designs,":[12],"yet":[13],"its":[14],"effectiveness":[15],"repeatedly":[17],"bottlenecked":[18],"by":[19],"circuit":[20],"representation":[21],"instead":[22],"of":[23,99],"neural":[24],"network.":[25],"We":[26,63],"present":[27],"Halo,":[28],"typed":[30],"multi-view":[31],"heterogeneous-graph":[32],"abstraction":[33],"framework":[34],"that":[35,68],"unifies":[36],"register-transfer":[37],"level":[38],"(RTL)":[39],"gate-level":[41],"netlists.":[42],"Halo":[43],"explicitly":[44],"represents":[45],"syntax,":[46],"dataflow,":[47],"control,":[48],"sequential/time,":[49],"hierarchy,":[50],"hyperedge-correct":[51],"nets,":[52],"cross-level":[54,103],"alignment":[55,104],"between":[56],"RTL":[57],"objects":[58],"their":[60],"synthesized":[61,76],"counterparts.":[62],"developed":[64],"deterministic":[65],"conversion":[66],"pipelines":[67],"maps":[69],"elaborated":[70],"SystemVerilog":[71],"designs":[72],"using":[73],"Surelog/UHDM":[74],"netlists,":[77],"extracted":[78],"through":[79],"Yosys":[80],"JSON":[81],"into":[82],"PyTorch-Geometric":[83],"DGL":[85],"heterographs":[86],"under":[87],"an":[88],"append-only":[89],"schema.":[90],"HALO":[91],"evaluated":[93],"on":[94],"compact":[96],"representative":[97],"set":[98],"downstream":[100],"tasks,":[101],"including":[102],"prediction,":[105],"vulnerability":[106],"detection,":[107],"localization,":[108],"robustness":[110],"analysis":[111],"across":[112],"synthesis":[113],"flows.":[114]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2026-06-19T00:00:00"}