使用逻辑锥分割的组合电路等价性验证

为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。     

构建移动互联网应用基础设施--打造“开放花园”

互联网的基础设施，就是为了让互联网实现正常应用的所有硬件与软件的统称。互联网的基础设施一般都是由运营商搭建的。但是按照现在互联网的发展趋势，运营商和设备支持商在互联网产业中的地位下降，业务提供商和终端平台的地位则大大提高了。本文将阐述互联网“开放花园”模式是如何产生，对基础设施的构建有什么意义展开探讨，最后提出两个在基础设施进行构建时要解决的问题。     

带黑盒组合电路的等价性验证

为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证.本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证.这种方法增强了算法的错误检测能力,通过在ISCAS'85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性.