Software Library; Double Precision Floating Point; FPGA Implementation; 8-bit Soft-Core; PicoBlaze;
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:流水线型50MHz CMOS 64位浮点算术处理器
机译:使用IEEE-754二进制算术标准浮点操作设备的硬件实现
机译:使用HOL对IEEE-754表驱动的浮点指数函数进行分层验证。
机译:在由独立治疗计划记录和验证以及交付系统组成的网络中实施的全电子强度调制放射治疗质量保证(IMRT QA)流程
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:percola:专用可编程64位浮点处理器。