摘要
摘要
[BLO96] 使用协议转换器重定硬件编译器的目标 计算的形式方面 1996 8 209 237 谷歌学者 数字图书馆 [浏览器91] Brown,G.M.:过程代数的真正延迟无关电路实现。 设计正确的电路 Jones,G.和Sheeran,M.(编辑),第120–131页。 Springer-Verlag,1991年。 谷歌学者 【Bur89】 Burch,J.R.:用迹理论建模时间假设。 国际计算机设计会议 第208-211页,1989年。 谷歌学者 【Dil89】 Dill,D.L.: 速度无关电路自动分层验证的迹理论 麻省理工学院出版社,1989年。 谷歌学者 【河89】 过程模拟和优化 计算的形式方面 1989 1 229 241 谷歌学者 数字图书馆 [HBL96] He,J.,Brown,G.,Luk,W.和O'Leary,J.W.:为多目标硬件编译器推导两阶段模块。 《设计正确的电路》,施普林格计算机系列电子研讨会,1996年。 谷歌学者 【呼啦85】 霍尔,C.A.R.: 通信顺序过程 普伦蒂斯·霍尔国际出版社,1985年。 谷歌学者 【HPB93】 He,J.,Page,I.和Bowen,J.:实现Occam的显著正确硬件实现。 正确的硬件设计和验证方法 ,第683卷,共页 计算机科学课堂讲稿 第214-225页,施普林格-弗拉格出版社,1993年。 谷歌学者 [乔恩87] 琼斯,G。 occam编程 普伦蒂斯·霍尔国际出版社,1987年。 谷歌学者 [OLB97] O'Leary,J.和Brown,G.:数字电路验证模型。 信息学报 1997年出版。 谷歌学者 [OLe95] J.W.奥利里: 用于通信进程的硬件编译器验证模型和证明技术 1995年,康奈尔大学博士论文。 谷歌学者 [第91页] 将occam编译为FPGA 门阵列 1991 英国阿宾顿 阿宾顿EE&CS图书 271 283 谷歌学者 [vBe93] van Berkel,K.: 握手电路:一种用于VLSI编程的异步体系结构 。剑桥大学出版社,1993年。 谷歌学者 [第94版] Verhoeff,T.: 时滞不敏感系统理论 1994年,埃因霍温理工大学博士论文。 谷歌学者 [WBB92] Weber,S.、Bloom,B.和Brown,G.M.:将欢乐编译成硅。 超大规模集成电路和并行系统的高级研究:1992年Brown/MIT会议记录 1992年,第79-98页。 谷歌学者 【WOB93】 通信协议的协同设计 电脑类 1993 26 12 46 52 谷歌学者 数字图书馆
建议
已验证处理器上的已验证编译 PLDI 2019:第40届ACM SIGPLAN编程语言设计与实现会议记录 开发用于构建经过验证的堆栈的技术,即具有全面正确性证明的计算机系统,是编程语言科学促进计算学科发展的一种方法。 虽然已经有成功的项目验证。。。