定义安全硬件设计 [pdf]
Defining Safe Hardware Design [pdf]

原始链接: https://people.csail.mit.edu/rachit/files/pubs/safe-hdls.pdf

This appears to be a corrupted PDF file containing binary data, not readable text. Therefore, a meaningful translation into Chinese is impossible. It's mostly gibberish. It's not possible to provide a Chinese translation of this content as it is not coherent text.

这次黑客新闻的讨论围绕“定义安全的硬件设计”,具体探讨了形式化方法(如强类型系统)在硬件开发中的潜力。初始帖子链接到麻省理工学院关于该主题的论文。 评论者讨论了BlueSpec,一种开源硬件描述语言,它具有强大的抽象能力,但也存在陡峭的学习曲线,这阻碍了传统公司采用它,因为这些公司专注于上市时间。一个关键的挑战是弥合类型理论专家和硬件工程师之间的差距,以及物理学中固有的“例外情况”,这使得实现完全形式化的系统变得困难。 另一个观点是,现有的工具(如KiCad)已经采用了宽松的类型系统。由于现实世界的约束(供应链、制造差异等)以及经验丰富的设计师对现有工具的既有投资,人们对将严格的类型系统应用于复杂的硅设计持怀疑态度。有人建议将这些系统应用于人工智能驱动的设计工具可能是一个更有成效的途径。
相关文章

原文
%PDF-1.5 % 24 0 obj > stream xڵ]Ɏ$W$ `4I@݄9DWd ѸyxT$F!W^#}gzߧOJ)ǏGqҨ4Q} ƉheuKRm/XZOOhkb _DGV'*>:T#HTkG%֑{/+w8Ҿ\a^ns+j* D#2ym^hi?a;˻QV[_yuWSpd5Z',D8 iLX6ûGnP6}B*"MFet!bЋH^*U7(&z&e?D>~?DMW4o696OT hNHM-v{Ҷ3oF}KA[3PLD-wmDQhM{t#,}6M7[N{tBC& 6RM93cleЋ܄i%(\YШq^{0{^,)2)i+CszC-ȤbaW׍Q5ɬFڭVٽiw]5,;03|؋h,RhpXBLti. s[kB(s\fa&mq;QN_HܙQob U}h޷uA̠NEPjKO>‚q3R)c\.fJV H\6&,“;=\Uñצ啿^e0;l뙎f~&Mkvhi4G_u"-(q:>``.Uz8WrRL1z KuTamG~u>";-|Ƣ?B{okvw }a;rSSӘO{ık0nGuJ{+'7M-NM3lHۯ%Wü׊)5._FHm6hoNF`]$g}aݿzX?WFݽAq{R҆GS' X2^UäO;ph#%lA7LDH$o-sg]ļNSOd@qL&4f)ޒ4??MP5~="y2 `ִLK:hH 􌇓^==UD%4tr w@mj~aV*ig^nLXLS5 a=tV,3.!`/a[t(3bκ;^&I빪)ڍre>cHF2Mjeh+V#ǁ:d}X.C4v; exefjaW1
联系我们 contact @ memedata.com