Efficient Verification of Timing-Related Network Functions in High-Speed Hardware
Efficient Verification of Timing-Related Network Functions in High-Speed Hardware
复制标题
高速硬件中时序相关网络功能的高效验证
DOI：
10.1109/infocom53939.2023.10228994
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Srisa-an, Witawas
中科院分区：
文献类型：
--
作者：
Fang, Tianqi;Xu, Lisong;Srisa-an, Witawas
登录
查看更多内容
使用 GPU 加速 RTL 仿真
DOI：
10.1109/iccad.2011.6105404
发表时间：
2011
期刊：
2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子：
--
作者：
Hao Qian;Yangdong Deng
通讯作者：
Yangdong Deng
DOI：
10.1145/3368089.3409752
发表时间：
2020
期刊：
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子：
--
作者：
Rongchen Xu;Fei He;Bow
通讯作者：
Bow
使用具有语法引导抽象的 IC3 对 Verilog RTL 进行模型检查
影响因子：
7.4
作者：
Aman Goel;K. Sakallah
通讯作者：
K. Sakallah
使用软件分析仪进行硬件验证
DOI：
10.1109/isvlsi.2015.107
发表时间：
2015
期刊：
2015 IEEE Computer Society Annual Symposium on VLSI
影响因子：
--
作者：
Rajdeep Mukherjee;D. Kroening;T. Melham
通讯作者：
T. Melham
从 FPGA 到支持云再到 FPGA 云：最先进的技术
DOI：
10.1155/2019/8085461
发表时间：
2019
期刊：
Int. J. Reconfigurable Comput.
影响因子：
--
作者：
Rym Skhiri;V. Fresse;Jean;Benoît Suffran;J. Malek
通讯作者：
J. Malek