Logic Complement, a New Method of Checking the Combinational Circuits

被引:0
作者
M. Gessel
A. V. Morozov
V. V. Sapozhnikov
Vl. V. Sapozhnikov
机构
[1] University of Potsdam,
[2] St. Petersburg State Transport University,undefined
来源
Automation and Remote Control | 2003年 / 64卷
关键词
Experimental Study; Mechanical Engineer; System Theory; Output Function; Combinational Circuit;
D O I
暂无
中图分类号
学科分类号
摘要
A new method of functional checking of combinational circuits by the logic complement of the output function was proposed. A self-testing checker based on the 1-out-of-3 code was described. Results of experimental studies of the standard examples of the MCNC system were presented.
引用
收藏
页码:153 / 161
页数:8
相关论文
共 12 条
[1]  
Smith J.E.(1983)A Theory of Totally Self-Checking System Design IEEE Trans. Comput. C-32 831-844
[2]  
Lam P.(1982)Totally Self-Checking Checker for 1-out-of- IEEE Trans. Comput. C-31 667-681
[3]  
Khakbaz J.(1982) Code Using Tworail Codes Probl. Peredachi Inf. 18 62-73
[4]  
Sapozhnikov V.V.(1978)Universal Algorithm to Design 1/ IEEE Trans. Comput. C-27 570-572
[5]  
Rabara V.(1991)-checkers Avtom. Telemekh. 2 178-188
[6]  
David R.(1984)Totally Self-Checking 1-out-of-3 Code Checker IEEE Trans. Comput. C-33 285-287
[7]  
Sapozhnikov V.V.(1988)On Design of Self-Testing Checkers for the 1-out-of-3 Code IEEE Trans. Comput. 23 875-877
[8]  
Sapozhnikov V.(undefined)Design of Totally Self-Checking Checker for 1-out-of-3 Code undefined undefined undefined-undefined
[9]  
Golan P.(undefined)An Efficient TSC 1-out-of-3 Code Checker undefined undefined undefined-undefined
[10]  
Paschalis A.M.(undefined)undefined undefined undefined undefined-undefined