待验证50% 置信事实精确时间
Intel在1994年Pentium FDIV bug之后曾使用形式化方法验证其浮点运算单元的正确性
1
来源数
50%
置信度
长期有效
时效性
2026/9/11
首次发现
来源
涉及实体
相关事实
待验证Intel 在 1994 年 Pentium FDIV 浮点除法 bug 造成约 4.75 亿美元损失后大幅增加了对形式化方法的投入77% 相似待验证Intel在奔腾浮点漏洞后大规模引入形式化验证用于硬件芯片设计74% 相似待验证模拟QIC-117是一个双层模拟问题：既要复现FDC芯片行为，又要实现磁带驱动器对FDC信号的特殊解读逻辑66% 相似待验证采用ARM架构（Microchip/Marvell SoC），部分x86平台的pfSense软件包可能不兼容或性能表现不同，依赖特定x86功能（如某些VPN加速指令集）的用户需提前确认66% 相似待验证现代x86处理器（从Intel P6/Pentium Pro开始）在内部将复杂的CISC指令解码为类RISC的微操作，然后通过乱序执行引擎调度这些微操作65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/893249API
curl https://kongchang.com/api/v1/knowledge/claims/893249MCP
get_claim(id=893249)