已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 史忠植; 常亮 Adobe PDF(1006Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |
| 无权访问的条目 期刊论文 作者: 常亮; 史忠植; 邱莉榕; 林芬 Adobe PDF(541Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/19 |
| 动态描述逻辑的Tableau判定算法 期刊论文 计算机学报, 2008, 卷号: 31.0, 期号: 006, 页码: 896 作者: 常亮; 史忠植; 邱莉榕; 林芬 收藏  |  浏览/下载:4/0  |  提交时间:2023/12/04 动态描述逻辑 动作理论 可满足性问题 Tableau算法 可判定性 |
| 无权访问的条目 期刊论文 作者: 邵明; 李光辉; 李晓维 Adobe PDF(303Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/01 |
| 基于增量可满足性的等价性检验方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者: 李光辉; 李晓维 收藏  |  浏览/下载:4/0  |  提交时间:2023/12/04 增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点 |
| 验证包含黑盒的电路设计的有效方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 006, 页码: 796 作者: 李光辉; 邵明; 李晓椎 收藏  |  浏览/下载:4/0  |  提交时间:2023/12/04 超大规模集成电路设计 错误检测 层次化验证 黑盒验证方法 合取范式 |