Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration

Shuoxiang Xu(ShanghaiTech University), Kan Shi(Institute of Computing Technology), David Boland(The University of Sydney), Zijian Jiang(China University of Petroleum, Beijing), Yungang Bao(University of Chinese Academy of Sciences)
Unknown
February 26, 2025
10.1145/3706628.3708866
Cited by 0

Related Papers

Highly dispersed Fe7S8 anchored on sp2/sp3 hybridized carbon boosting peroxymonosulfate activation for enhanced EOCs elimination though singlet oxygen-dominated nonradical pathway
|Journal of Hazardous Materials|2023|84
High-efficiency electro-Fenton process based on in-situ grown CoFeCe-LDH@CFs free-standing cathodes: Correlation of cerium and oxygen vacancies with H2O2
|Chemical Engineering Journal|2022|61
Recent Advance of Atomically Dispersed Dual‐Metal Sites Carbocatalysts: Properties, Synthetic Materials, Catalytic Mechanisms, and Applications in Persulfate‐Based Advanced Oxidation Process
|Advanced Functional Materials|2023|55
Electron transfer mechanism mediated nitrogen-enriched biochar encapsulated cobalt nanoparticles catalyst as an effective persulfate activator for doxycycline removal
|Journal of Cleaner Production|2022|52
A state-of-the-art review on heterogeneous catalysts-mediated activation of peracetic acid for micropollutants degradation: Classification of reaction pathways, mechanisms, influencing factors and DFT calculation
|Chemical Engineering Journal|2023|51