Verifying global start-up for a Möbius ring-oscillator
Yan, Chao; Greenstreet, Mark R.; Yang, Suwen
- 期刊名称Formal Methods in System Design
- 作者Yan, Chao; Greenstreet, Mark R.; Yang, Suwen
- 卷第45卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1094.07KB
- 发表时间2014-10
- DOI10.1007/s10703-013-0204-6
- 页码246-272