Author:
Bergamaschi Reinaldo A.,Cohn John
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fat Tree NoC Design and Synthesis;Advances in Intelligent Systems and Computing;2018
2. An open-source binary utility generator;ACM Transactions on Design Automation of Electronic Systems;2008-04-02
3. Timing modeling of latch-controlled sub-systems;Integration;2007-02
4. Hardware Design and Simulation for Verification;Formal Methods for Hardware Verification;2006
5. Dynamic and Formal Verification of Embedded Systems: A Comparative Survey;International Journal of Parallel Programming;2005-12