Partial differentiation of Boolean functions with applications to design and test

被引：0
|
作者：
Allen, D
机构：
来源：
AUTOTESTCON '97 - IEEE SYSTEMS READINESS TECHNOLOGY CONFERENCE, 1997 IEEE AUTOTESTCON PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/AUTEST.1997.633655
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
A partial differential operator consisting of phase and enable is defined for Boolean functions associated with combinatorial digital circuitry. The items of the partial differentials can be used for generation of test vectors and analysis of circuitry.
引用
收藏
页码：422 / 424
页数：3
相关论文
共 50 条
  • [1] POLYNOMIAL FORMS OF PARTIAL BOOLEAN FUNCTIONS AND APPLICATIONS
    AVSARKISYAN, GS
    [J]. ENGINEERING CYBERNETICS, 1983, 21 (04): : 133 - 142
  • [2] On intervals of partial clones of Boolean partial functions
    Haddad, L
    Simons, GE
    [J]. 33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 315 - 320
  • [3] Almost Boolean functions: The design of Boolean functions by spectral inversion
    Clark, JA
    Jacob, JL
    Maitra, S
    Stanica, P
    [J]. CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS, 2003, : 2173 - 2180
  • [4] Almost Boolean functions: The design of Boolean functions by spectral inversion
    Clark, JA
    Jacob, JL
    Maitra, S
    Stanica, P
    [J]. COMPUTATIONAL INTELLIGENCE, 2004, 20 (03) : 450 - 462
  • [5] PARTIAL DECODING OF MONOTONIC BOOLEAN FUNCTIONS
    SOKOLOV, AN
    [J]. USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1983, 23 (05): : 160 - 163
  • [6] IMPLEMENTATION OF PARTIAL BOOLEAN FUNCTIONS BY ZHEGALKIN
    ZAKREVSKY, AD
    [J]. DOKLADY AKADEMII NAUK BELARUSI, 1995, 39 (03): : 5 - 8
  • [7] Partial Boolean Functions for QBF Semantics
    van Gelder, Allen
    [J]. ARTIFICIAL INTELLIGENCE AND IMAGE ANALYSIS, ISAIM 2024, IWCIA 2024, 2024, 14494 : 236 - 253
  • [8] Cryptographic Boolean Functions and Applications
    Joyner, David
    [J]. CRYPTOLOGIA, 2013, 37 (02) : 189 - 192
  • [9] Evolutionary Design of Boolean Functions
    WANG Zhang-yi 1
    2. School of Software
    [J]. Wuhan University Journal of Natural Sciences, 2005, (01) : 179 - 182
  • [10] Evolutionary design of Boolean functions
    Cao, Ming
    Huang, Yin-Feng
    Hu, Zheng-Ming
    Yang, Yi-Xian
    [J]. Tongxin Xuebao/Journal on Communications, 2007, 28 (SUPPL.): : 70 - 73
12345