Author:
Josipovic Lana,Bhattacharyya Atri,Guerrieri Andrea,Ienne Paolo
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Survival of the Fastest: Enabling More Out-of-Order Execution in Dataflow Circuits;Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2024-04
2. High-Level Synthesis;FPGA EDA;2024
3. Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous Petri Nets;IEEE Transactions on Computers;2023-11-01
4. Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
5. Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking;Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2023-02-12