论文部分内容阅读
采用文献[1]中定义的扩展Allen-Givone代数概念将Boo1e过程沦扩充,提出了多值Boo1e过程的概念及其运算,为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念,用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中,这种方法有它的应用前景。