Q-M相关论文
布尔表达式化简是一个NP问题,求给定布尔表达式的最简等价式的系统性算法是一个仍待解决的问题。布尔表达式的化简在逻辑电路的优......
对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性。而通过对目标系统的逻辑功能收集与归纳,再......
