Author:
Yan Chao,Greenstreet Mark R.,Yang Suwen
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference34 articles.
1. Althoff M, Rajhans A et al. (2011) Formal verification of phase-locked loops using reachability analysis and continuization. In: Proceedings of the 2011 international conference on computer aided design, pp 659–666
2. Boyd S, Vandenberghe L (2004) Convex optimization. Cambridge University Press, Cambridge
3. Cao Y (2008) PTM: predictive technology model. http://ptm.asu.edu
4. Chaney TJ, Molnar CE (1973) Anomalous behavior of synchronizer and arbiter circuits. IEEE Trans Comput C-22(4):421–422
5. Djahanshahi H, Salama CAT (2000) A two-stage differential CCO implementation in submicron CMOS. In: Proceedings of the 43 rd IEEE Midwest symposium on circuits and systems, pp 294–297
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献