Author:
Gajski Daniel D.,Dutt Nikil D.,Wu Allen C-H,Lin Steve Y-L
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Shift Register Initialization in Scalar Replacement for Reducing Code Size;IPSJ Transactions on System LSI Design Methodology;2020
2. Formal Verification of Optimizing Transformations during High-level Synthesis;Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference);2019-02-14
3. Distributed memory architecture for high-level synthesis of embedded controllers from Erlang;Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang;2017-09-08
4. Scalable SMT-Based Equivalence Checking of Nested Loop Pipelining in Behavioral Synthesis;ACM Transactions on Design Automation of Electronic Systems;2017-03-15
5. Binary synthesis implementing external interrupt handler as independent module;Proceedings of the 28th International Symposium on Rapid System Prototyping Shortening the Path from Specification to Prototype - RSP '17;2017