排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。 相似文献
2.
3.
互联网的基础设施,就是为了让互联网实现正常应用的所有硬件与软件的统称。互联网的基础设施一般都是由运营商搭建的。但是按照现在互联网的发展趋势,运营商和设备支持商在互联网产业中的地位下降,业务提供商和终端平台的地位则大大提高了。本文将阐述互联网“开放花园”模式是如何产生,对基础设施的构建有什么意义展开探讨,最后提出两个在基础设施进行构建时要解决的问题。 相似文献
1