2024年8月21日
星期三
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
周志慧
作品数:
2
被引量:0
H指数:0
供职机构:
电子科技大学
更多>>
相关领域:
文化科学
更多>>
合作作者
杨国武
电子科技大学
徐永生
电子科技大学
杨俊
电子科技大学
张艳
电子科技大学
高毅
电子科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文专利
领域
1篇
文化科学
主题
2篇
GST
2篇
AIG
1篇
动点
1篇
迁移
1篇
求解器
1篇
状态集
1篇
逻辑综合
1篇
法化
1篇
报错
机构
2篇
电子科技大学
作者
2篇
康文涛
2篇
牛伟纳
2篇
高毅
2篇
张艳
2篇
杨俊
2篇
徐永生
2篇
周志慧
2篇
杨国武
年份
1篇
2017
1篇
2014
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种基于AIG和SAT求解器的GSTE模型检测方法
本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法,其特征在于包括以下步骤:步骤1,使用ABC工具建立AIG模型;将该AIG转化成FRAIG,同时使用逻辑综合算法化简该FRAIG,减小AIG规模;步骤2,计算...
杨国武
崔晓爽
高毅
康文涛
牛伟纳
张艳
徐永生
杨俊
杨绪鹏
周志慧
一种基于AIG和SAT求解器的GSTE模型检测方法
本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法,其特征在于包括以下步骤:步骤1,使用ABC工具建立AIG模型;将该AIG转化成FRAIG,同时使用逻辑综合算法化简该FRAIG,减小AIG规模;步骤2,计算...
杨国武
崔晓爽
高毅
康文涛
牛伟纳
张艳
徐永生
杨俊
杨绪鹏
周志慧
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张