Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking-Reference-Cited by-同舟云学术

Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking

Published:2023-02-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays
language:
Short-container-title:

Author:

Xu Jiahui¹^ORCID,Murphy Emmet¹^ORCID,Cortadella Jordi²^ORCID,Josipovic Lana¹^ORCID

Affiliation:

1. ETH Zürich, Zürich, Switzerland

2. UPC Barcelona, Barcelona, Spain

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3543622.3573196

Reference39 articles.

1. J. Cortadella , M. Kishinevsky , and B. Grundmann , " Synthesis of synchronous elastic architectures," in Proceedings of the 43rd Design Automation Conference, San Francisco , CA , Jul. 2006 , pp. 657 -- 662 . J. Cortadella, M. Kishinevsky, and B. Grundmann, "Synthesis of synchronous elastic architectures," in Proceedings of the 43rd Design Automation Conference, San Francisco, CA, Jul. 2006, pp. 657--62.

2. L. P. Carloni and A. L. Sangiovanni-Vincentelli , " Performance analysis and optimization of latency insensitive systems," in Proceedings of the 37th Design Automation Conference, Los Angeles , CA , Jun. 2000 , pp. 361 -- 367 . L. P. Carloni and A. L. Sangiovanni-Vincentelli, "Performance analysis and optimization of latency insensitive systems," in Proceedings of the 37th Design Automation Conference, Los Angeles, CA, Jun. 2000, pp. 361--67.

3. M. Budiu , P. V. Artigas , and S. C. Goldstein , " Dataflow: A complement to superscalar," in Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, Austin , TX , Mar. 2005 , pp. 177 -- 186 . M. Budiu, P. V. Artigas, and S. C. Goldstein, "Dataflow: A complement to superscalar," in Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, Austin, TX, Mar. 2005, pp. 177--86.

4. L. Josipovic , R. Ghosal , and P. Ienne , " Dynamically scheduled high-level synthesis," in Proceedings of the 26th ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey , CA , Feb. 2018 , pp. 127 -- 136 . L. Josipovic, R. Ghosal, and P. Ienne, "Dynamically scheduled high-level synthesis," in Proceedings of the 26th ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Monterey, CA, Feb. 2018, pp. 127--36.

5. J. Cheng , L. Josipovic , G. A. Constantinides , P. Ienne , and J. Wickerson , " Combining dynamic & static scheduling in high-level synthesis," in Proceedings of the 28th ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Seaside , CA , Feb. 2020 , pp. 288 -- 298 . J. Cheng, L. Josipovic, G. A. Constantinides, P. Ienne, and J. Wickerson, "Combining dynamic & static scheduling in high-level synthesis," in Proceedings of the 28th ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Seaside, CA, Feb. 2020, pp. 288--98.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

2. Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis;2023 33rd International Conference on Field-Programmable Logic and Applications (FPL);2023-09-04