孔友素山都;汤姆·梅尔姆 正式分析了硬件的动态合成。 （英语） Zbl 0988.68021号 J.超级计算机。 第1号，第19页，第7-22页（2001年）. 概要：基于运行时系统专门化的动态硬件重新配置在FPGA中是可行的。形式验证的研究挑战是帮助确保动态生成的硬件的正确性。本文的方法是验证用于在运行时重新配置FPGA设计的专门化合成算法。验证方法基于网络列表语言和关系硬件建模风格的深度嵌入。 MSC公司： 68M99型 计算机系统组织 2007年7月68日 计算机体系结构的数学问题 关键词：动态硬件重构;形式验证 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Susanto}和\textit{T.Melham}，J.超级计算机。19，第1号，第7--22号（2001；Zbl 0988.68021） 全文： 内政部