| 标题 |
 Formal verification of high-level synthesis 高级综合的形式化验证
相关领域
计算机科学
高级合成
编译程序
Verilog公司
软件
水准点（测量）
一套
程序设计语言
硬件描述语言
计算机硬件
嵌入式系统
计算机体系结构
现场可编程门阵列
考古
历史
地理
大地测量学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Proceedings of the ACM on programming languages 作者：Yann Herklotz; James D. Pollard; Nadesh Ramanathan; John Wickerson 出版日期：2021-10-15 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
爱静静
寻道图强
彭于彦祖
夏远航
HEIKU
哎嘿
梓泽丘墟
张子捷
spark810
互助遵法尚德
whatever
Singularity
Loooong
Leonardi
乐乐乐乐乐乐
tuanheqi
Henry
kento
不配.
iNk
皖公网安备34019202002308
