Author:
Winstanley Anthony,Greenstreet Mark
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Tod Amon and Henrik Hulgaard. Symbolic time separation of events. In Proceedings of the Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 83–93. IEEE, April 1999.
2. V. Chandromouli and K.A. Sakallah. Modeling the effects of temporal proximity of input transitions on gate propagation delay and transistion time. In Proceedings of the 33th ACM/IEEE Design Automation Conference, pages 617–622, June 1996.
3. A. Deshpande, A. Gollu, and P.P. Varaiya. SHIFT, a formalism and programming language for dynamic networks of hybrid automata. In Proceedings of the Eigth Conference on Computer Aided Verification, pages 113–133, 1996.
4. Florentin Dartu, Noel Menzes, et al. A gate delay model for high-speed CMOS circuits. In Proceedings of the 31th ACM/IEEE Design Automation Conference, pages 576–580, June 1994.
5. William J. Dally and John W. Poulton. Digital Systems Engineering. Cambridge University Press, 1998.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献