精品文献
固蜡(黑盒)
水蜡跟固蜡有什么区别
水蜡跟固蜡有什么区别
本文将详细探讨水蜡和固蜡在建设工程领域的区别。通过对比它们的特性、应用范围、施工过程等方面进行详细说明，帮助读者更好地理解和选择适合的蜡剂。
带黑盒组合电路的等价性验证
带黑盒组合电路的等价性验证
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
