{"id":"https://openalex.org/W7106209705","doi":"https://doi.org/10.48550/arxiv.2511.15073","title":"Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming","display_name":"Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming","publication_year":2025,"publication_date":"2025-11-19","ids":{"openalex":"https://openalex.org/W7106209705","doi":"https://doi.org/10.48550/arxiv.2511.15073"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2511.15073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.15073","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2511.15073","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Xiao, Youwei","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xiao, Youwei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Luo, Zizhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luo, Zizhang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peng, Weijie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Weijie","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zou, Yuyang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zou, Yuyang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Liang, Yun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Yun","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.751800000667572,"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.751800000667572,"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.08560000360012054,"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.05700000002980232,"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/abstraction","display_name":"Abstraction","score":0.7250000238418579},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.5932999849319458},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.4677000045776367},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.4611000120639801},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.45210000872612},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.3635999858379364},{"id":"https://openalex.org/keywords/register-transfer-level","display_name":"Register-transfer level","score":0.35249999165534973},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.3465999960899353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8101000189781189},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7250000238418579},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.5932999849319458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5676000118255615},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.46880000829696655},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.4677000045776367},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.4611000120639801},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39579999446868896},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.3635999858379364},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.35249999165534973},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.3465999960899353},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.34470000863075256},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.32910001277923584},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.3188999891281128},{"id":"https://openalex.org/C65232700","wikidata":"https://www.wikidata.org/wiki/Q5656403","display_name":"Hardware architecture","level":3,"score":0.28839999437332153},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C142962650","wikidata":"https://www.wikidata.org/wiki/Q240838","display_name":"Reconfigurable computing","level":3,"score":0.27410000562667847},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2630999982357025},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.25940001010894775},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2511.15073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.15073","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2511.15073","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.15073","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.541231095790863,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hardware":[0],"design":[1,22,57,68,87,229],"faces":[2],"a":[3,63,102,149,186],"fundamental":[4],"challenge:":[5],"raising":[6],"abstraction":[7,69,104,138,171,203],"to":[8,47,70,110,139,159,218],"improve":[9],"productivity":[10,92],"while":[11],"maintaining":[12],"control":[13],"over":[14],"low-level":[15],"details":[16],"like":[17,25],"cycle":[18],"accuracy.":[19],"Traditional":[20],"RTL":[21,220],"in":[23,147,153],"languages":[24],"SystemVerilog":[26],"composes":[27],"modules":[28],"through":[29,172],"wiring-style":[30],"connections":[31],"that":[32,105,209],"provide":[33,62],"weak":[34],"guarantees":[35],"for":[36,93,204,226],"behavioral":[37],"correctness.":[38],"While":[39],"high-level":[40,202],"synthesis":[41,167],"(HLS)":[42],"and":[43,72,80,91,124,163,175,196,215],"emerging":[44],"abstractions":[45],"attempt":[46],"address":[48],"this,":[49],"they":[50,75],"either":[51],"introduce":[52],"unpredictable":[53],"overhead":[54],"or":[55],"restrict":[56],"generality.":[58],"Although":[59],"transactional":[60,114,150],"HDLs":[61],"promising":[64],"foundation":[65],"by":[66],"lifting":[67],"atomic":[71],"composable":[73],"rules,":[74],"solely":[76],"model":[77],"intra-cycle":[78,162],"behavior":[79],"do":[81],"not":[82,212],"reflect":[83],"the":[84,113,126,201,223],"native":[85],"temporal":[86,99,120,164],"characteristics,":[88],"hindering":[89],"applicability":[90,225],"FPGA":[94,228],"programming":[95,156],"scenarios.":[96],"We":[97,144],"propose":[98],"hardware":[100,157],"transactions,":[101],"new":[103],"brings":[106],"cycle-level":[107],"timing":[108],"awareness":[109],"designers":[111],"at":[112],"language":[115],"level.":[116],"Our":[117],"approach":[118],"models":[119],"relationships":[121],"between":[122],"rules":[123,129],"supports":[125],"description":[127,170],"of":[128],"whose":[130],"actions":[131],"span":[132],"multiple":[133,173],"clock":[134],"cycles,":[135],"providing":[136],"intuitive":[137],"describe":[140],"multi-cycle":[141],"architectural":[142],"behavior.":[143],"implement":[145],"this":[146],"Cement2,":[148],"HDL":[151],"embedded":[152],"Rust,":[154],"enabling":[155],"constructors":[158],"build":[160],"both":[161],"transactions.":[165],"Cement2's":[166,182],"framework":[168],"lowers":[169],"analysis":[174],"optimization":[176],"phases,":[177],"generating":[178],"efficient":[179],"hardware.":[180],"With":[181],"abstraction,":[183],"we":[184],"program":[185],"RISC-V":[187],"soft-core":[188],"processor,":[189],"custom":[190],"CPU":[191],"instructions,":[192],"linear":[193],"algebra":[194],"kernels,":[195],"systolic":[197],"array":[198],"accelerators,":[199],"leveraging":[200],"boosted":[205],"productivity.":[206],"Evaluation":[207],"shows":[208],"Cement2":[210],"does":[211],"sacrifice":[213],"performance":[214],"resources":[216],"compared":[217],"hand-coded":[219],"designs,":[221],"demonstrating":[222],"high":[224],"general":[227],"tasks.":[230]},"counts_by_year":[],"updated_date":"2025-11-23T05:13:22.807545","created_date":"2025-11-23T00:00:00"}