机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [2]
• 期刊论文 [1]

发表日期

• 2014 [2]
• 2011 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Combining symmetry reduction with generalized symbolic trajectory evaluation 期刊论文  OAI收割 Computer Journal, 2014, 卷号: 57, 期号: 1, 页码: 115-128 Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)   |  收藏  |  浏览/下载：35/0  |  提交时间：2014/12/16 generalized symbolic trajectory evaluation  symmetry reduction  theorem proving   An executable semantics of SystemC transaction level models and its applications with VERDS 会议论文  OAI收割 2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014 Zeng, Naiju (1); Zhang, W. (1)   |  收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 enhanced symbolic simulation of a round-robin arbiter 会议论文  OAI收割 29th IEEE International Conference on Computer Design 2011, ICCD 2011, Amherst, MA, United states, November 9 Li Yongjian; Zeng Naiju; Hung William N. N.; Song Xiaoyu   |  收藏  |  浏览/下载：28/0  |  提交时间：2013/10/08 Asynchronous sequential logic  Computer simulation  Design  Hardware