论域理论在超大规模集成电路逻辑设计上的运用

• 作者: 孙踊 胡易
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 大规模集成电路 逻辑门 Kleene三值逻辑 全半序 普通不动点算子 单调性
• 年，卷（期）: 2000,（5）
• 页码范围: 569-583
• 页数: 15页
• 分类号: TP302
• 字数: 3677字
• 语种: 中文

摘要

认为传统的二值布尔不利于大规模集成电路的设计,尤其是在逻辑门电路上.为此引入了三值逻辑.此三值逻辑是基于集成电路的物理性质,且碰巧等同于Kleene的三值逻辑.鉴于Kleene三值逻辑的不完备性,文章将论域理论以及普通不动点算子运用于此,使三值逻辑获得此逻辑系统的单调完备性定理.文章认为这个结果有利于集成电路设计的可靠性,具有广阔的应用前景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙踊	贝尔法斯特女王大学计算机科学系	1	0	0.0	0.0
2	胡易		1	0	0.0	0.0