基于FPGA的通用逻辑验证平台
随着ASIC设计规模越来越大,ASIC功能越来越复杂。要保证ASIC功能设计的正确性,验证是一个非常重要的部分。验证的主要目的,就是找出设计中存在的错误。 验证的目标,就是100%的测试ASIC设计中的所有电路,保证每部分电路都是按照期望的...
逻辑题技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
随着ASIC设计规模越来越大,ASIC功能越来越复杂。要保证ASIC功能设计的正确性,验证是一个非常重要的部分。验证的主要目的,就是找出设计中存在的错误。 验证的目标,就是100%的测试ASIC设计中的所有电路,保证每部分电路都是按照期望的...
通过进一步发展Wen-Syan Li等人提出的Web站点逻辑域理论,该文提出Web站点逻辑域核模型及建立在其上的逻辑域挖掘算法。该算法通过对Web站点超链接的图结构进行运算,得到Web站点逻辑域。与W
随着集成电路技术的飞速发展,芯片的规模越来越大,集成度越来越高,工作频率越来越快,但是芯片的设计能力却面临巨大的挑战。而IP核的重用则是解决当今芯片设计所面临问题的最有效的解决方法。 MDIO接口模块为以太网接口芯片中MAC层对PHY器件的...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技...
用maxplus2实现的一种通用逻辑模块,背景是一个基于dsp的嵌入式开发板,上面的逻辑模块全用cpld实现。此模块可以供以后的嵌入式开发作参考。