交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
大卫·哈丁马修·威尔丁和大卫·格雷夫1998计算机辅助验证.第1427卷,问题,第页。39
约翰·哈里森1999高阶逻辑中的定理证明.第1690卷,问题,第页。113
约翰·哈里森2000自动扣除-CADE-17.第1831卷,问题,第页。1
约翰·哈里森2000高阶逻辑中的定理证明.第1869卷,问题,第页。233
克里斯蒂安·雅各比和丹尼尔·克罗宁2000Informatik 2000公司.第页。293
克里斯托弗·伯格和克里斯蒂安·雅各比2001正确的硬件设计和验证方法.第2144卷,问题,第页。325
R·凯沃拉。和北卡罗来纳州纳拉辛汉。2001奔腾(R)4乘法器的形式验证.第页。115
博尔多,S。和M.达马斯。2001用于扩展可用精度的机械验证技术.第页。1299
Jun Sawada先生和鲁本·甘博阿2002计算机辅助设计中的形式化方法.第2517卷,问题,第页。274
R·凯沃拉。和北卡罗来纳州纳拉辛汉。2002Pentium/sup/spl reg//4浮点乘法器的形式验证.第页。20
西尔维·博尔多和马克·达马斯2002对任何浮点系统有效的减法属性.理论计算机科学电子笔记,第66卷,发布。2,第页。132
医学博士Velev。2003从流水线和超标量设计的正式验证中收集高级微处理器错误.第1卷,问题,第页。138
斯文·拜尔克里斯·雅各比丹尼尔·科宁德克·莱恩巴赫和沃尔夫冈·保罗。2003正确的硬件设计和验证方法.第2860卷,问题,第页。51
沃伦·亨特(Warren A.Hunt)。罗伯特·贝拉明·克鲁格和J·摩尔。2003正确的硬件设计和验证方法.第2860卷,问题,第页。319
偶数,G。塞德尔,P.-M。和W.E.弗格森。2003Goldschmidt除法的参数误差分析.第页。165
博尔多,S。和M.达马斯。2003可能下溢浮点运算的可表示修正项.第页。79
西尔维·博尔多和马克·达马斯2004二的补码浮点符号的性质.国际技术转让软件工具杂志,第5卷,发布。2-3,第页。237
米洛什·埃尔塞戈瓦克。和汤姆·朗2004数字算术.第页。396
米洛什·埃尔塞戈瓦克。和汤姆·朗2004数字算术.第页。366
2004数字算术.第页。649