×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
反馈留言
个人主页
个人信息
个人简介
科研成果
代表性成果(2)
期刊论文(3)
会议论文(2)
来源
计算机研究与发展(2)
FPGA ’25: PROCEEDINGS OF T...(1)
FPGA 2023 - PROCEEDINGS OF...(1)
JISUANJI YANJIU YU FAZHAN/...(1)
收录类别
EI(4)
CSCD(2)
SCOPUS(2)
北大核心(2)
中国科技核心期刊(1)
访问统计
来源
计算机研究与发展(2)
FPGA ’25: PROCEEDINGS OF T...(1)
FPGA 2023 - PROCEEDINGS OF...(1)
JISUANJI YANJIU YU FAZHAN/...(1)
发表日期
2025(1)
2024(3)
2023(1)
关键词云
More»
成果统计
More»
×
知识图谱
合作作者[TOP 5]
点击查看合作网络
Bao, Yungang
合作成果数:3
Shi, Kan
合作成果数:3
Boland, David
合作成果数:2
包云岗
合作成果数:2
张子卿
合作成果数:2
合作作者
Bao, Yungang
合作成果数:3
Shi, Kan
合作成果数:3
Boland, David
合作成果数:2
包云岗
合作成果数:2
张子卿
合作成果数:2
王梁辉
合作成果数:2
石侃
合作成果数:2
Diao, Yuhan
合作成果数:1
Jiang, Zijian
合作成果数:1
Wang, Lianghui
合作成果数:1
Zhang, Yuxin
合作成果数:1
Zhang, Ziqing
合作成果数:1
徐烁翔
硕士生
所在学院:
信息科学与技术学院
职务:
--
研究方向:
备注:
--
科研成果
5
936
2
6
0
1
Items
Views
Downloads
TC[WOS]
TC[CSCD]
H-index
排序方式:
按发表日期降序
按发表日期升序
按WOS被引频次降序
按期刊影响因子降序
正在努力地加载数据中,请稍候……
[1]
Xu, Shuoxiang,Jiang, Zijian,Zhang, Yuxin,et al. Hercules: Efficient Verification Of High-level Synthesis Designs With Fpga Acceleration[C]. Fpga '25: Proceedings Of The 2025 Acm/sigda International Symposium On Field Programmable Gate Arrays.Association For Computing Machinery, Inc.2025-02-27,56 - 66.
浏览/下载:
53/1
; 被引[WOS]:
0
评论
推荐
收藏
[2]
张子卿,石侃,徐烁翔,等. 面向处理器功能验证的硬件化SystemVerilog断言设计[J]. 计算机研究与发展,2024,61(6):1436-1449.
浏览/下载:
204/0
; 被引[WOS]:
0
评论
推荐
收藏
[3]
张子卿,石侃,徐烁翔,等. 面向处理器功能验证的硬件化System Verilog断言设计[J]. 计算机研究与发展,2024,61(06):1436-1449.
浏览/下载:
132/0
评论
推荐
收藏
[4]
Zhang, Ziqing,Shi, Kan,Xu, Shuoxiang,Wang, Lianghui,&Bao, Yungang.(2024).Design of SystemVerilog Assertions Hardware Towards Efficient Processor Functional Verification.
JISUANJI YANJIU YU FAZHAN/COMPUTER RESEARCH AND DEVELOPMENT
,61(6),1436-1449.
浏览/下载:
184/0
; 被引[WOS]:
0
评论
推荐
收藏
[5]
Shi, Kan,Xu, Shuoxiang,Diao, Yuhan,et al. Encore: Efficient Architecture Verification Framework With Fpga Acceleration[C]. Fpga 2023 - Proceedings Of The 2023 Acm/sigda International Symposium On Field Programmable Gate Arrays.Association For Computing Machinery, Inc.2023-02-12,209-219.
浏览/下载:
363/1
; 被引[WOS]:
6
评论
推荐
收藏
每页显示
10
0
条
‹
1
›