论文部分内容阅读
采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。
Boolean process theory is extended by the extended Allen-Givone algebra concept defined in [1], and the concept of multi-valued Boole process and its operation are proposed. It provides a kind of logic function and timing behavior for accurate and uniform description of multi-valued logic circuits Analytical approach. The concept of strip-shaped waveforms based on Allen-Givone algebra is proposed. The theoretical basis of the analysis is given based on the asynchronous characteristics of real-valued addition, subtraction, multiplication and division. The combination of mathematical analysis and discrete mathematics can describe the circuit’s time-delay model relatively accurately. In the field of testing, simulation and synthesis of multi-valued logic circuit design automation technology, this method has its application prospect.