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

关键词: Boole过程, 多值逻辑电路, 带状波形, Allen-Givone代数

Abstract: This paper adopts definitions of the algebra described in documentation [1], in which is presented an extension of Allen-Givone implementation oriented algebra. In this paper,Boolean process is extended as multi-valued Boolean process to provide an analytical approach to MVL circuits representation to precisely describe logical and timing behavior simultaneously. Examples show it can be used in many disciplines such as testing, simulation and synthesis, having wide application prospect in the field of design automation.

中图分类号: 

• TN405