Author:
Radhakrishnan R.,Teica E.,Vermuri R.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Source Code Error Detection in High-Level Synthesis Functional Verification;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2016-01
2. Formal verification of code motion techniques using data-flow-driven equivalence checking;ACM Transactions on Design Automation of Electronic Systems;2012-06
3. Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2010-03
4. High-Level Verification;IPSJ Transactions on System LSI Design Methodology;2009