| 多值开关级代数在MOS电路形式验证中的应用 |
| |
| 引用本文： | 胡谋. 多值开关级代数在MOS电路形式验证中的应用[J]. 计算机学报, 1994, 17(3): 223-226 |
| |
| 作者姓名： | 胡谋 |
| |
| 作者单位： | 上海铁道学院计算机工程系 |
| |
| 摘 要： | 本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。
|
| 关 键 词： | 形式验证 MOS电路 逻辑设计 代数 |
APPLICATION OF MULTIPLE-VALUED SWITCH-LEVEL ALGEBRA TO THE FORMAL VERIFICATION OF MOS CIRCUITS |
| |
| Hu Mou. APPLICATION OF MULTIPLE-VALUED SWITCH-LEVEL ALGEBRA TO THE FORMAL VERIFICATION OF MOS CIRCUITS[J]. Chinese Journal of Computers, 1994, 17(3): 223-226 |
| |
| Authors: | Hu Mou |
| |
| Abstract: | Three standard forms of multiple-valued switch-level algebraic expressions of MOS circuits are discussed in this paper.Theorems on transforming multiple-valued switch-level expressions into Boolean expressions are given.Based on these results,a procedure for formal verification of MOS circuits at switch level is proposed. |
| |
| Keywords: | Formal verification MOS circuit logic design multiple-valued logic switch-level techniques |
| 本文献已被 CNKI 维普 等数据库收录！ |
