电脑体验，效果更佳

硬件验证图谱-计算机领域：

研究人员

潘志鹤 韩俊刚 李祥 霍红卫

相关术语

硬件描述 高阶逻辑 Cygwin 有界模型检测 CBMC Verilog

标签云